1
Publicado 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Ligazón do recurso
Electrónico eBook
3
Subjects: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Ligazón do recurso
Electrónico eBook
7
Publicado 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Ligazón do recurso
Electrónico eBook
12
Table of Contents: ...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...
Ligazón do recurso
Electrónico eBook
13
Publicado 2011
Subjects: ...Neurosurgery. https://scigraph.springernature.com/ontologies/product-market-codes/H39000...
Ligazón do recurso
Electrónico eBook
14
Publicado 2007
Table of Contents: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...
Ligazón do recurso
Electrónico eBook
16
Publicado 2008
Table of Contents: ... -- Exploiting Execution Locality with a Decoupled Kilo-Instruction Processor -- Decoupled State-Execute...
Ligazón do recurso
Electrónico eBook
17
Publicado 2015
Table of Contents: ... Study of c-VEP/SSVEP BCI Hybrid System -- Part II: Higher Mental Functions and Dysfunctions -- Memory...
Ligazón do recurso
Electrónico eBook
18
por Raynal, Michel., Raynal, Michel.
Publicado 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Ligazón do recurso
Electrónico eBook
19
Subjects: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Ligazón do recurso
Electrónico eBook
20
Publicado 2005
Table of Contents: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
Ligazón do recurso
Electrónico eBook