1
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
6
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
7
Published 2015
Table of Contents: ... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
10
Table of Contents: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...
View full text
Electronic eBook