Toolchain - PDFSEARCH.IO - Document Search Engine

Toolchain
Results: 139

#	Item
11	Updating the Compiler? Take Advantage of The New Development Toolchain Andreas Jaeger Product Manager Add to Reading List Source URL: www.susecon.com - Date: 2015-11-20 11:17:11
12	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.7 July 27, 2016 Add to Reading List Source URL: vst.cs.princeton.edu - Date: 2016-07-27 14:00:16
13	A Toolchain for Model-Based Design and Testing of Access Control Systems Said Daoudagh1 , Donia El Kateb2 , Francesca Lonetti1 , Eda Marchetti1 and Tejeddine Mouelhi3 1 Istituto di Scienza e Tecnologie dell’Informazio Add to Reading List Source URL: www.itrust.lu Language: English - Date: 2015-03-09 10:06:50 Computer security Security Access control Computer access control XACML PERMIS Identity management Role-based access control Authorization Model-driven security PDP Toolchain
14	Case Study \| Security/Technology \| Cloud Automation & Management SELF-SERVICE INFRASTRUCTURE DEVOPS Webroot delivers next-generation endpoint security and threat intelligence services to protect businesses and individua Add to Reading List Source URL: www.kovarus.com Language: English - Date: 2016-07-11 19:38:57 Computing Software development process Cloud infrastructure Agile software development DevOps Information technology management Webroot To The New Cloud computing Software testing DevOps toolchain
15	PDF Document Add to Reading List Source URL: www.servicerobotik-ulm.de Language: English - Date: 2016-01-13 04:09:58 Computing Software engineering Robotics Computer architecture Open-source robotics Toolchain ARC Software development Component-based software engineering
16	Making Scientific Software Installation Reproducible On Cray Systems Using EasyBuild Petar Forai Research Institute of Molecular Pathology Add to Reading List Source URL: cug.org Language: English - Date: 2016-06-13 04:35:45 Computing Software Cray Cross compiler Modular programming 64-bit computing Library Toolchain GNU toolchain NetCDF Environment Modules
17	The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-04 08:31:13 Software Computer programming Functional languages OCaml Package manager Arch Linux Deb Go Caml R Coq
18	SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software Add to Reading List Source URL: www.servicerobotik-ulm.de Language: English - Date: 2016-01-13 04:09:47 Computing Software engineering Software architecture Toolchain ARC Component-based software engineering Software development
19	Case Study \| Media/Entertainment \| Business Enablement PRIVATE CLOUD DEVOPS The company, through its subsidiaries, provides satellite TV to approximately 14 million subscribers. With more than $15 billion Add to Reading List Source URL: www.kovarus.com Language: English - Date: 2016-07-11 19:38:54 Information technology management Software development process Cloud infrastructure Agile software development Software design DevOps VMware IT chargeback and showback Cloud computing ServiceNow Continuous delivery DevOps toolchain
20	SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software Add to Reading List Source URL: www.servicerobotik-ulm.de Language: English - Date: 2016-01-13 04:09:53 Toolchain Component-based software engineering Robotics Composability

UPDATE