10159 search results - page 1952 / 2032 » System Design Validation Using Formal Models |
120
click to vote
CCIA
2009
Springer
15 years 3 months ago
2009
Springer
1 We adapt the Shout and Act algorithm to Digital Objects Preservation where agents explore file systems looking for digital objects to be preserved (victims). When they find somet...
142
Voted
CASES
2010
ACM
15 years 6 days ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
158
click to vote
EDBT
2009
ACM
14 years 12 months ago
2009
ACM
Stream applications gained significant popularity over the last years that lead to the development of specialized stream engines. These systems are designed from scratch with a di...
143
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...
117
Voted
INFOCOM
1994
IEEE
15 years 5 months ago
1994
IEEE
In personal communications applications, users communicate via wireless with a wireline network. The wireline network tracks the current location of the user, and can therefore ro...