1
Publicat 2005
Taula de continguts: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... Costs -- Accurate Step Counting -- The Implementation of iData -- A High-Level Implementation...
Obtenir text complet
Electrònic eBook
5
Publicat 2012
Taula de continguts: ... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Obtenir text complet
Electrònic eBook
7
Matèries: ...Special purpose computers....
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Obtenir text complet
Electrònic eBook
10
Publicat 2007
Taula de continguts: ... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...
Obtenir text complet
Electrònic eBook
11
Publicat 2011
Matèries: ...Programming languages (Electronic computers)....
Obtenir text complet
Electrònic eBook
12
Publicat 2013
Taula de continguts: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obtenir text complet
Electrònic eBook
14
Taula de continguts: ...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Obtenir text complet
Electrònic eBook
16
Publicat 2012
Matèries: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
17
Publicat 2010
Taula de continguts: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... on Causal Knowledge-Driven Diagnosis and Direction -- Challenges Relating to RFID Implementation within...
Obtenir text complet
Electrònic eBook
20
Taula de continguts: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Obtenir text complet
Electrònic eBook