2674 search results - page 295 / 535 » On architecture transparency in operating systems |
152
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract — This paper describes a practical technique for the optimal scheduling of control dominated systems minimizing the weighted average latency over all control branches. S...
162
click to vote
ICRA
2003
IEEE
16 years 4 hour ago
2003
IEEE
In this paper we describe a software system built to coordinate an autonomous vehicle with variable configuration ability operating in rough terrain conditions. The paper describe...
159
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
152
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
175
click to vote
TAAS
2008
15 years 6 months ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...