1
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Synchronization Algorithm for Remote Files -- A New Parallel Method of Smith-Waterman Algorithm on a Heterogeneous...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
View full text
Electronic eBook
11
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
12
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...
View full text
Electronic eBook
16
Table of Contents: ... -- Threads, Processes, and Synchronization -- Files, Directories, and I/O -- XML Processing -- Windows Forms...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Evolutionary Optimized Networks for Consensus and Synchronization -- Geospatial Analysis of Cooperative Works...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook