Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation program » implementation process, implementation plan, implementation part
function foundations » function foundation, action foundations, function functions
foundations https » equations https
program function » programme function, programs functional, program foundation
implementation program » implementation process, implementation plan, implementation part
function foundations » function foundation, action foundations, function functions
foundations https » equations https
program function » programme function, programs functional, program foundation
1
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”View full text
Electronic
eBook
7
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...”View full text
Electronic
eBook