Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function foundations » function foundation, action foundations, function functions
parallel selecting » parallel selection, parallel select, parallel sequencing
selecting programs » directing programs, select programs, selected programs
programs function » programs functional, programme function, programs fiction
foundations https » equations https
function foundations » function foundation, action foundations, function functions
parallel selecting » parallel selection, parallel select, parallel sequencing
selecting programs » directing programs, select programs, selected programs
programs function » programs functional, programme function, programs fiction
foundations https » equations https
1
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Published 2010
Table of Contents:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”View full text
Electronic
eBook
14
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
15
Published 2013
Table of Contents:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Regular Sessions: Artificial Immune Systems -- Comparing Energetic and Immunological Selection...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations...”View full text
Electronic
eBook