Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
synchronization function » synchronization ovulation, synchronization control, synchronization elective
program synchronization » problem synchronization, perform synchronization, process synchronization
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
synchronization function » synchronization ovulation, synchronization control, synchronization elective
program synchronization » problem synchronization, perform synchronization, process synchronization
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Pubblicazione 2007
Sommario:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Testo
Elettronico
eBook
3
Pubblicazione 2010
Sommario:
“... Synchronization Algorithm for Remote Files -- A New Parallel Method of Smith-Waterman Algorithm on a Heterogeneous...”Testo
Elettronico
eBook
4
Pubblicazione 2005
Sommario:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...”Testo
Elettronico
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Pubblicazione 2015
Sommario:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Testo
Elettronico
eBook
7
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Pubblicazione 2014
Sommario:
“... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”Testo
Elettronico
eBook
8
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Pubblicazione 2013
Sommario:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Testo
Elettronico
eBook
9
Pubblicazione 2006
Sommario:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Testo
Elettronico
eBook
10
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
11
Pubblicazione 2010
Sommario:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Testo
Elettronico
eBook
12
Pubblicazione 2010
Sommario:
“... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”Testo
Elettronico
eBook
13
Sommario:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Testo
Testo
Elettronico
eBook
14
Pubblicazione 2015
Sommario:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Testo
Elettronico
eBook
15
Pubblicazione 2005
Sommario:
“... -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge...”Testo
Elettronico
eBook
16
Pubblicazione 2008
Sommario:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”Testo
Elettronico
eBook
17
di Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Pubblicazione 2010
Sommario:
“... -- Threads, Processes, and Synchronization -- Files, Directories, and I/O -- XML Processing -- Windows Forms...”Pubblicazione 2010
Testo
Elettronico
eBook
18
Pubblicazione 2005
Sommario:
“... Detection Using BMC in a Parallel Environment -- Formal Verification of Synchronizers -- A Parameterized...”Testo
Elettronico
eBook
19
Pubblicazione 2007
Sommario:
“... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...”Testo
Elettronico
eBook
20
Pubblicazione 2010
Sommario:
“... -- Evolutionary Optimized Networks for Consensus and Synchronization -- Geospatial Analysis of Cooperative Works...”Testo
Elettronico
eBook
- 1
- 2
- Successivo »
- [2]