1
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
2
Table of Contents: ...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
View full text
Electronic eBook
5
by Bramer, Max., Bramer, Max.
Published 2015
Table of Contents: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
7
by King, Hal., King, Hal.
Published 2013
Table of Contents: ...Introduction.- The Food Safety Management Team.- The Food Safety Management Program -- Systems...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
14
Table of Contents: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Block of Executable Files -- Supervised Grid-of-Tries: A Novel Framework for Classifier Management...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
View full text
Electronic eBook
20
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook