1
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2007
Tabl Cynhwysion: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2010
Tabl Cynhwysion: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2010
Tabl Cynhwysion: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2010
Tabl Cynhwysion: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Cael y testun llawn
Electronig eLyfr
13
Tabl Cynhwysion: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Cael y testun llawn
Electronig eLyfr
15
Tabl Cynhwysion: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Cael y testun llawn
Electronig eLyfr
16
Tabl Cynhwysion: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Cael y testun llawn
Electronig eLyfr
17
Tabl Cynhwysion: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Cael y testun llawn
Electronig eLyfr
18
gan Comninos, Peter., Comninos, Peter.
Cyhoeddwyd 2006
Pynciau: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2013
Tabl Cynhwysion: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Cael y testun llawn
Electronig eLyfr