8 search results - page 1 / 2 » An Event-Driven Multi-Threading Architecture for Embedded Sy... |
CODES
1997
IEEE
13 years 9 months ago
1997
IEEE
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
SAMOS
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
Design of high performance Web servers has become a recent research thrust to meet the increasing demand of networkbased services. In this paper, we propose a new Web server archi...