1
Publicat 2005
Taula de continguts: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Obtenir text complet
Electrònic eBook
8
Publicat 2015
Taula de continguts: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
12
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
13
Taula de continguts: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Obtenir text complet
Electrònic eBook
14
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
15
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
16
Publicat 2007
Taula de continguts: ... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Obtenir text complet
Electrònic eBook
20
Publicat 2007
Taula de continguts: ... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...
Obtenir text complet
Electrònic eBook