Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality functions » functional functions, functionals function, functionaries function
parallelized program » parallelized programs, parameterized program, parallel program
input functionality » input functional, supra functionality, its functionality
functions https » foundations https
program input » program inputs, program ikut, program impact
functionality functions » functional functions, functionals function, functionaries function
parallelized program » parallelized programs, parameterized program, parallel program
input functionality » input functional, supra functionality, its functionality
functions https » foundations https
program input » program inputs, program ikut, program impact
1
Publicat 2005
Taula de continguts:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obtenir text complet
Electrònic
eBook
4
Publicat 2015
Taula de continguts:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obtenir text complet
Electrònic
eBook
5
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obtenir text complet
Electrònic
eBook
6
Taula de continguts:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Taula de continguts:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
8
Taula de continguts:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Obtenir text complet
Electrònic
eBook
10
Publicat 2011
Taula de continguts:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obtenir text complet
Electrònic
eBook
14
per Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicat 2010
Taula de continguts:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicat 2010
Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Obtenir text complet
Electrònic
eBook
18
Publicat 2014
Taula de continguts:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Obtenir text complet
Electrònic
eBook
19
Publicat 2007
Taula de continguts:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook