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