Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function measuring » functions measuring, functioning measuring, function measurement
parallel programs » parallel programming
measuring https » measuring hope, measuring things
https function » its function, sites function, ups function
function measuring » functions measuring, functioning measuring, function measurement
parallel programs » parallel programming
measuring https » measuring hope, measuring things
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
6
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
7
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”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
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
10
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
15
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
16
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for measuring classification uncertainty in latent class analysis -- A robust linear grouping algorithm...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”View full text
Electronic
eBook