Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
parallel system » parallel systems
system program » systems program, system programming
using https » using http, nursing https, aging https
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
parallel system » parallel systems
system program » systems program, system programming
using https » using http, nursing https, aging https
1
Publicat 2010
Taula de continguts:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Obtenir text complet
Electrònic
eBook
7
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Obtenir text complet
Electrònic
eBook
8
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
9
Publicat 2006
Taula de continguts:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“...-Parallel Systems -- A New Hybrid Parallel Algorithm for MrBayes -- Research and Design of Deployment...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Obtenir text complet
Electrònic
eBook
15
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
16
Publicat 2007
Taula de continguts:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”Obtenir text complet
Electrònic
eBook
20
per Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicat 2011
Matèries:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Publicat 2011
Obtenir text complet
Electrònic
eBook