21183 search results - page 3947 / 4237 » Adaptive Testing by Test |
142
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
227
click to vote
ASPLOS
1998
ACM
15 years 9 months ago
1998
ACM
This paper describes the Network-Attached Secure Disk (NASD) storage architecture, prototype implementations of NASD drives, array management for our architecture, and three files...
155
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on put...
153
click to vote
FQAS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
140
click to vote
ARVLSI
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...