1
Pubblicazione 2006
Sommario: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... Services and Fault-Tolerant Metacomputing with FT-MPI -- A Peer-to-Peer Framework for Robust Execution...
Testo
Elettronico eBook
7
Pubblicazione 2008
Sommario: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Testo
Elettronico eBook
8
Sommario: ...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...
Testo
Elettronico eBook
9
Pubblicazione 2007
Sommario: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Testo
Elettronico eBook
10
Sommario: ... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....
Testo
Elettronico eBook
11
Pubblicazione 2015
Sommario: ....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...
Testo
Elettronico eBook
12
di Raynal, Michel., Raynal, Michel.
Pubblicazione 2013
Sommario: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Testo
Elettronico eBook
13
Pubblicazione 2014
Sommario: ... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...
Testo
Elettronico eBook
14
Pubblicazione 2005
Sommario: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
Testo
Elettronico eBook
15
Pubblicazione 2006
Sommario: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Testo
Elettronico eBook
16
Pubblicazione 2013
Sommario: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
Testo
Elettronico eBook
17
Pubblicazione 2007
Sommario: ... and Their Parallel Implementations -- PyACTS: A High-Level Framework for Fast Development of High Performance...
Testo
Elettronico eBook
18
Pubblicazione 2010
Sommario: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testo
Elettronico eBook
19
Pubblicazione 2008
Sommario: ... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...
Testo
Elettronico eBook
20
Pubblicazione 2015
Sommario: ...: Conceptual and Experimental Framework -- The Activity Modalities – A-priori Categories of Coordination...
Testo
Elettronico eBook