2632 search results - page 224 / 527 » Alternating Timed Automata |
126
click to vote
AAAI
2006
15 years 5 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
127
click to vote
MCU
2004
15 years 5 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
150
click to vote
FORTE
1996
15 years 5 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
137
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
156
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...