1
Pubblicazione 2010
Sommario: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Testo
Elettronico eBook
7
Pubblicazione 2010
Sommario: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Testo
Elettronico eBook
8
Pubblicazione 2010
Sommario: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Testo
Elettronico eBook
9
Soggetti: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
10
Pubblicazione 2008
Sommario: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Testo
Elettronico eBook
11
Pubblicazione 2005
Sommario: ... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...
Testo
Elettronico eBook
12
Pubblicazione 2014
Sommario: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Testo
Elettronico eBook
13
Pubblicazione 2013
Sommario: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Testo
Elettronico eBook
15
Pubblicazione 2014
Sommario: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
Testo
Elettronico eBook
16
Pubblicazione 2006
Sommario: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Testo
Elettronico eBook
17
Pubblicazione 2008
Sommario: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
Testo
Elettronico eBook
18
Pubblicazione 2008
Sommario: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Testo
Elettronico eBook
19
Pubblicazione 2013
Sommario: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testo
Elettronico eBook
20
Pubblicazione 2010
Sommario: ...: Architectures 2 -- Application Specific FPGA Using Heterogeneous Logic Blocks -- Reconfigurable Communication...
Testo
Elettronico eBook