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