1
Published 2007
Table of Contents: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... and Circumcenter -- Digital Stars and Visibility of Digital Objects -- ?-Arithmetization of Ellipses...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- ParSim -- 7th International Special Session on Current Trends in Numerical Simulation for Parallel...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Game -- A Study on the Specification of a Scalarizing Function in MOEA/D for Many-Objective Knapsack...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... of Pheromone Trails for Swarm Robots -- Automatic Configuration of Multi-Objective ACO Algorithms -- Autonomous...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...Resolving Occlusion Method of Virtual Object in Simulation Using Snake and Picking Algorithm...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Transport -- On – Ant System’s Parameters -- On the Invariance of Ant System -- Parallel Ant Colony...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Indexing Scheme for Web Entity Retrieval -- Object Link Structure in the Semantic Web -- ExpLOD: Summary...
View full text
Electronic eBook