Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed functionality » program functionality, properties functionality, programming functional
functionality state » functionality stage, functionalities state, functional state
https » http
programmed functionality » program functionality, properties functionality, programming functional
functionality state » functionality stage, functionalities state, functional state
https » http
1
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
7
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
9
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International...
Published 2008
Table of Contents:
“..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Markov Process and Its Applications to Multi-state System Reliability -- 7. Reliability Decisions...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Steganography Over SMQT Pre-processed Digital Image -- A State-of-the-art Review of Biogeography-Based...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Inference System for Enhancing the Travelling Comfort -- 9. State Variable Filter Design Using Improvised...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
17
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
18
Published 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
20
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook