3387 search results - page 202 / 678 » Model-Checking for Real-Time Systems |
191
Voted
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes have been recently studied to save energy while preserving system reliability. The existing RAPM schemes, however, provision for ...
185
Voted
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
216
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
191
Voted
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Real-time frequent pattern mining for business intelligence systems are currently in the focal area of research. In a number of areas of doing business, especially in the arena of...
203
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
As a recently emerging service, multi-view video provides a new viewing experience with high degree of freedom. However, due to the huge data amounts transferred, multi-view video...