Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
reactive function » reaction function, creative function, adaptive function
program reactive » programs reactive, programs relative, program practice
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
reactive function » reaction function, creative function, adaptive function
program reactive » programs reactive, programs relative, program practice
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
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:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”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 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
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 2014
Table of Contents:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”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 2013
Table of Contents:
“... Multicast Routing -- A New Improved Knowledge Based Cultural Algorithm for Reactive Power Planning -- BFO...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Parallel HPC Code for the Incompressible Nonstationary Navier-Stokes Equations -- Flow Induced Noise...”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