Sciweavers

485 search results - page 20 / 97
» T-shift synchronization codes
Sort
View
ICESS
2005
Springer
14 years 2 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
HPCA
1999
IEEE
14 years 1 months ago
Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor
This paper proposes and evaluates new synchronization schemes for a simultaneous multithreaded processor. We present a scalable mechanism that permits threads to cheaply synchroni...
Dean M. Tullsen, Jack L. Lo, Susan J. Eggers, Henr...
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 18 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
ICASSP
2009
IEEE
14 years 3 months ago
Rate efficient remote video file synchronization
Video file synchronization between remote users is an important task in many applications. Re-transmission of a video that has been only slightly modified is expensive, wasteful...
Hao Zhang, Chuohao Yeo, Kannan Ramchandran
PPL
2008
99views more  PPL 2008»
13 years 9 months ago
A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...
Frédéric Gava