Search Results - programme function https function execution https

Search alternatives:
programme function » programming function , programme action , programs functional
function execution » function ejection , function evolution , function detection
execution https » exertion https , execution status , execution actors
function https » functions https , fiction https
https function » its function , sites function , ups function

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /

by Mishra, Prabhat., Mishra, Prabhat., Dutt, Nikil D.
Published 2005

Table of Contents: “...to Functional Verification -- Architecture Specification -- Architecture Specification...”
View full text

Electronic eBook

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
View full text

Electronic eBook

Composing Software Components A Software-testing Perspective /

by Hamlet, Dick., Hamlet, Dick.
Published 2010

Table of Contents: “... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...”
View full text

Electronic eBook

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... and Skew-Resistant Execution of Analytical SPARQL Queries on Pig -- Large-Scale Learning of Relation...”
View full text

Electronic eBook

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Published 2012

Table of Contents: “... and Skew-Resistant Execution of Analytical SPARQL Queries on Pig -- Large-Scale Learning of Relation...”
View full text

Electronic eBook

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”
View full text

Electronic eBook

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”
View full text

Electronic eBook

Autonomic Computing Principles, Design and Implementation /

by Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Published 2013

Table of Contents: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text

Electronic eBook

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “... -- Keeping Plan Execution Healthy -- Stochastic Reactive Production Scheduling by Multi-agent Based...”
View full text

Electronic eBook

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers /

Published 2014

Table of Contents: “...Detecting Integrity Attacks on Industrial Control Systems -- Detecting Malicious Software Execution...”
View full text

Electronic eBook

Wiki Web Collaboration /

by Ebersbach, Anja., Ebersbach, Anja., Glaser, Markus., Heigl, Richard., Warta, Alexander.
Published 2008

Table of Contents: “... -- First Steps -- The Core Functions of MediaWiki -- Formatting -- Multi-Page Structures -- Components...”
View full text

Electronic eBook

Enlightenment, Creativity and Education Polities, Politics, Performances /

Published 2012

Subjects: “...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...”
View full text

Electronic eBook

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”
View full text

Electronic eBook

Practical Ruby Gems

by Berube, David., Berube, David.
Published 2007

Table of Contents: “... Web Applications with mongrel -- Transferring Files Securely with net-sftp -- Executing Commands...”
View full text

Electronic eBook

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...”
View full text

Electronic eBook

Modelling and Controlling of Behaviour for Autonomous Mobile Robots

by Skubch, Hendrik., Skubch, Hendrik.
Published 2013

Table of Contents: “... Execution -- Behaviour Modelling....”
View full text

Electronic eBook

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /

by Verhulst, Eric., Verhulst, Eric., Boute, Raymond T., Faria, José Miguel Sampaio., Sputh, Bernhard H.C., Mezhuyev, Vitaliy.
Published 2011

Subjects: “...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”
View full text

Electronic eBook

Introducing SQL Server

by McQuillan, Mike., McQuillan, Mike.
Published 2015

Subjects: “...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...”
View full text

Electronic eBook

Using the C++ Standard Template Libraries

by Horton, Ivor., Horton, Ivor.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Narrow Search