Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel simulation » parallel computation
simulation program » education program
testing https » teaching https, being https, writing https
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel simulation » parallel computation
simulation program » education program
testing https » teaching https, being https, writing https
1
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”View full text
Electronic
eBook
6
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
7
Published 2008
Table of Contents:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Accomplishments and Challenges in Code Development for Parallel and Multimechanics Simulations -- An Algorithm...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook