Sciweavers

717 search results - page 85 / 144
» Kill-safe synchronization abstractions
Sort
View
MM
1993
ACM
176views Multimedia» more  MM 1993»
15 years 10 months 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, ...
ECLIPSE
2007
ACM
15 years 10 months ago
Porting a distributed meeting system to the Eclipse communication framework
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
Fabio Calefato, Filippo Lanubile, Mario Scalas
ASIAN
2006
Springer
104views Algorithms» more  ASIAN 2006»
15 years 9 months ago
Closing Internal Timing Channels by Transformation
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
Alejandro Russo, John Hughes, David A. Naumann, An...
COOPIS
2004
IEEE
15 years 9 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 9 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan