1
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...’ Scheduling on Clusters -- Data Distribution Strategies for Domain Decomposition Applications in Grid...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Decomposition in a Rely/Guarantee Context -- A Verification Approach for System-Level Concurrent Programs...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...
View full text
Electronic eBook
18