Sciweavers

426 search results - page 72 / 86
» Synchronization of Regular Automata
Sort
View
PVM
2007
Springer
14 years 1 months ago
Revealing the Performance of MPI RMA Implementations
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
William D. Gropp, Rajeev Thakur
MM
1996
ACM
134views Multimedia» more  MM 1996»
13 years 12 months ago
On-Demand Regional Television over the Internet
We present a regional news on demand television service over the Internet developed for the Norwegian Broadcasting Corporation (NRK), using a distributed video server and a WWW-in...
Haakon Bryhni, Hilde Lovett, Erling Maartmann-Moe,...
DSD
2010
IEEE
133views Hardware» more  DSD 2010»
13 years 5 months ago
Area and Speed Oriented Implementations of Asynchronous Logic Operating under Strong Constraints
Asynchronous circuit implementations operating under strong constraints (DIMS, Direct Logic, some of NCL gates, etc.) are attractive due to: 1) regularity; 2) combined implementati...
Igor Lemberski, Petr Fiser
CONCUR
2007
Springer
14 years 1 months ago
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
Peter Lammich, Markus Müller-Olm
SIGADA
2007
Springer
14 years 1 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec