Sciweavers

3121 search results - page 197 / 625
» Information Survivability Control Systems
Sort
View
RTSS
1999
IEEE
15 years 10 months ago
Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
Fridtjof Siebert
TOOLS
1998
IEEE
15 years 10 months ago
An Architecture for Unified Dialogue in Distributed Object Systems
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
Arve Larsen, Peter D. Holmes
ISMIR
2005
Springer
176views Music» more  ISMIR 2005»
15 years 12 months ago
A Music Retrieval System Based on User Driven Similarity and Its Evaluation
Large music collections require new ways to let users interact with their music. The concept of finding ‘similar’ songs, albums, or artists provides handles to users for easy ...
Fabio Vignoli, Steffen Pauws
RTSS
1997
IEEE
15 years 10 months ago
On-the-fly symbolic model checking for real-time systems
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
ICDCS
2006
IEEE
16 years 16 days ago
A Locality-Aware Cooperative Cache Management Protocol to Improve Network File System Performance
In a distributed environment the utilization of file buffer caches in different clients may vary greatly. Cooperative caching is used to increase cache utilization by coordinatin...
Song Jiang, Fabrizio Petrini, Xiaoning Ding, Xiaod...