Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs static » programs semantic, programs starting, programs staff
static function » static functional, state function, static friction
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs static » programs semantic, programs starting, programs staff
static function » static functional, state function, static friction
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... for Parallel Computing on Heterogeneous Platforms (HeteroPar 2009) -- Preface -- Static Worksharing Strategies...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
8
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook