Sciweavers

850 search results - page 127 / 170
» Modeling synchronous systems in BIP
Sort
View
ASAP
2000
IEEE
142views Hardware» more  ASAP 2000»
14 years 28 days ago
Contention-Conscious Transaction Ordering in Embedded Multiprocessors
This paper explores the problem of efficiently ordering interprocessor communication operations in statically-scheduled multiprocessors for iterative dataflow graphs. In most digi...
Mukul Khandelia, Shuvra S. Bhattacharyya
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
14 years 28 days ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
ADVIS
2000
Springer
14 years 26 days ago
Throughput Stability of Reliable Multicast Protocols
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
Öznur Özkasap, Kenneth P. Birman
MM
1993
ACM
176views Multimedia» more  MM 1993»
14 years 18 days ago
A Digital On-Demand Video Service Supporting Content-Based Queries
Abstract–Video-on-demand represents a key demonstrative application for enabling multimedia technology in communication, database, and interface research. This application requir...
Thomas D. C. Little, Gulrukh Ahanger, R. J. Folz, ...
FSTTCS
2000
Springer
14 years 3 days ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...