1
Publicat 2006
Taula de continguts: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Obtenir text complet
Electrònic eBook
2
Publicat 2013
Taula de continguts: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obtenir text complet
Electrònic eBook
3
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
4
Publicat 2006
Taula de continguts: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Taula de continguts: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Taula de continguts: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Obtenir text complet
Electrònic eBook
11
Publicat 2012
Taula de continguts: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
Obtenir text complet
Electrònic eBook
14
Publicat 2005
Taula de continguts: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
Obtenir text complet
Electrònic eBook
15
Publicat 2013
Taula de continguts: ... Multicast Routing -- A New Improved Knowledge Based Cultural Algorithm for Reactive Power Planning -- BFO...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...
Obtenir text complet
Electrònic eBook
17
Publicat 2015
Taula de continguts: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
Obtenir text complet
Electrònic eBook