Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
execution managing » executives managing, execution management, resolution managing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
managing https » managing hotels, aging https, banking https
function computing » education computing, generation computing
execution managing » executives managing, execution management, resolution managing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
managing https » managing hotels, aging https, banking https
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
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
Table of Contents:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
View full text
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
Table of Contents:
“...Introduction.- The Food Safety Management Team.- The Food Safety Management Program -- Systems...”
View full text
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
View full text
Electronic
eBook
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
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
View full text
Electronic
eBook