Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
25 functionality » 2 functionality, 85 functionality, 5 functionality
function https » functions https, fiction https
programs 25 » programs 15, programs 5, programs 22
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
25 functionality » 2 functionality, 85 functionality, 5 functionality
function https » functions https, fiction https
programs 25 » programs 15, programs 5, programs 22
1
Publicat 2013
Taula de continguts:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Obtenir text complet
Electrònic
eBook
4
Publicat 2006
Taula de continguts:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Obtenir text complet
Electrònic
eBook
7
Publicat 2012
Taula de continguts:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Obtenir text complet
Electrònic
eBook
8
Publicat 2012
Taula de continguts:
“... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Obtenir text complet
Electrònic
eBook
11
Publicat 2012
Taula de continguts:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Obtenir text complet
Electrònic
eBook
18
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
19
Publicat 2015
Taula de continguts:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”Obtenir text complet
Electrònic
eBook