15614 search results - page 144 / 3123 » The State of State |
121
click to vote
DSRT
2005
IEEE
15 years 6 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
123
click to vote
QSIC
2005
IEEE
15 years 6 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
108
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
103
click to vote
MLMI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
107
click to vote
PDCAT
2004
Springer
15 years 6 months ago
2004
Springer
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...