3911 search results - page 473 / 783 » Using Operational Architecture to Model Embedded Software |
146
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
226
click to vote
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
190
click to vote
SAMOS
2007
Springer
16 years 26 days ago
2007
Springer
— General purpose architectures are designed to offer average high performance regardless of the particular application that is being run. Performance and power inefficiencies a...
182
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
185
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...