Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming synchronization » grafting synchronization, grasping synchronization, forcing synchronization
synchronization function » synchronization ovulation, synchronization control, synchronization elective
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programming synchronization » grafting synchronization, grasping synchronization, forcing synchronization
synchronization function » synchronization ovulation, synchronization control, synchronization elective
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
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
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
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
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”View full text
Electronic
eBook
8
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
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
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
12
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
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
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