1
Published 2006
Table of Contents: ...: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages....
View full text
Electronic eBook
2
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
3
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
View full text
Electronic eBook
8
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
12
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...: unnecessary or essential?.-Characterizing Synthetic Biology through Its Novel and Enhanced Functionalities...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Routing Problems -- Corner Based Many-Objective Optimization -- Escaping Local Optima via Parallelization...
View full text
Electronic eBook