3719 search results - page 107 / 744 » Pellet System Description |
139
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
149
click to vote
ECRTS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
156
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
161
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
144
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...