365 search results - page 32 / 73 » Liveness in Timed and Untimed Systems |
LFP
1994
13 years 11 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
We describe a system for the training of Second Language Acquisition Pronunciation (SLAP) for nonnative speakers. This speech recognition-based system is designed to mimic the val...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
RIAO
2004
13 years 11 months ago
2004
Monitoring user-system performance in interactive search is a challenging task. Traditional measures of retrieval evaluation, based on recall and precision, are not of any use in ...