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 circuits » parallel circuit, parallel circles, parallel corpus
circuits programs » circuitry programs, circus programs, circuits programmed
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel circuits » parallel circuit, parallel circles, parallel corpus
circuits programs » circuitry programs, circus programs, circuits programmed
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
4
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
5
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”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 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits....”View full text
Electronic
eBook
11
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”View full text
Electronic
eBook
13
Table of Contents:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
View full text
View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Circuits -- The Structure of Winning Strategies in Parallel Repetition Games -- Distribution-Free Testing...”View full text
Electronic
eBook