12333 search results - page 2226 / 2467 » System Level Modelling for Hardware Software Systems |
137
click to vote
MSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Obtaining consistent bandwidth with predictable latency from disk-based storage systems has proven difficult due to the storage system’s inability to understand Quality of Serv...
139
Voted
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
103
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. Intel...
135
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suita...
252
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...