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