Sciweavers

4520 search results - page 14 / 904
» Algebraic Techniques for Timed Systems
Sort
View
105
Voted
NAACL
1994
15 years 3 months ago
Techniques to Achieve an Accurate Real-Time Large-Vocabulary Speech Recognition System
In addressing the problem of achieving high-accuracy real-time speech recognition systems, we focus on recognizing speech from ARPA's20,000-word Wall Street Journal (WSJ) tas...
Hy Murveit, Peter Monaco, Vassilios Digalakis, Joh...
RTCSA
2006
IEEE
15 years 7 months ago
Towards an Analysis of Garbage Collection Techniques for Embedded Real-Time Java Systems
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
M. Teresa Higuera-Toledano
TC
2008
15 years 1 months ago
A Dynamic Slack Management Technique for Real-Time Distributed Embedded Systems
This work presents a novel slack management technique, the Service-Rate-Proportionate (SRP) Slack Distribution, for real-time distributed embedded systems to reduce energy consumpt...
Subrata Acharya, Rabi N. Mahapatra
AAAI
2000
15 years 3 months ago
Disjunctive Temporal Reasoning in Partially Ordered Models of Time
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
Mathias Broxvall, Peter Jonsson
116
Voted
WOSP
2000
ACM
15 years 6 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...