4520 search results - page 277 / 904 » Algebraic Techniques for Timed Systems |
182
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
179
click to vote
IPPS
2005
IEEE
16 years 27 days ago
2005
IEEE
Proactive fault handling combines prevention and repair actions with failure prediction techniques. We extend the standard availability formula by five key measures: (1) precisio...
139
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. Its main advantage is the combination of high speed static and dynamic transmission of message...
211
click to vote
SPE
2002
15 years 7 months ago
2002
: The paper presents a hard real-time kernel for distributed computer control systems (DCCS) highlighting a number of novel features, such as integrated scheduling of hard and soft...
311
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
The ongoing revolution in life sciences research is producing vast amounts of genetic and proteomic sequence data. Scientists want to pose increasingly complex queries on this dat...