1
Publicat 2006
Taula de continguts: ...: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages....
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
Obtenir text complet
Electrònic eBook
8
Taula de continguts: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Obtenir text complet
Electrònic eBook
11
Publicat 2006
Taula de continguts: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Obtenir text complet
Electrònic eBook
12
per Raynal, Michel., Raynal, Michel.
Publicat 2013
Taula de continguts: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Obtenir text complet
Electrònic eBook
13
Publicat 2015
Taula de continguts: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Obtenir text complet
Electrònic eBook
14
Publicat 2015
Taula de continguts: ...: unnecessary or essential?.-Characterizing Synthetic Biology through Its Novel and Enhanced Functionalities...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
Obtenir text complet
Electrònic eBook