3387 search results - page 30 / 678 » Model-Checking for Real-Time Systems |
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
This paper presents a very efficient and versatile method to handle Dynamic Voltage Scaling for minimizing energy consumption in an embedded system processor while maintaining rea...
COMPCON
1995
IEEE
13 years 11 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
WSC
1997
13 years 9 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
TPDS
2010
13 years 2 months ago
2010
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
A real time speaker localization and detection system for videoconferencing environments is presented. In this system, a recently proposed modified Steered Response Power - Phase...