1
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
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 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
9
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
10
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
11
Table of Contents: ... Programming -- Using LINQ -- Windows Presentation Foundation....
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
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: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
View full text
Electronic eBook
19
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
View full text
Electronic eBook