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