1
Julkaistu 2005
Sisällysluettelo: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2013
Sisällysluettelo: ... of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2013
Sisällysluettelo: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2008
Sisällysluettelo: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2005
Sisällysluettelo: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
12
Sisällysluettelo: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2015
Sisällysluettelo: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2012
Sisällysluettelo: ... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2005
Sisällysluettelo: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2013
Sisällysluettelo: ... Network (CAN) -- A Data-Driven Approach for Executing the CG Method on Reconfigurable High-Performance...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2010
Sisällysluettelo: ... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2008
Sisällysluettelo: ... Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2008
Sisällysluettelo: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Hae kokoteksti
Elektroninen E-kirja