453 search results - page 59 / 91 » Designing hardware with dynamic memory abstraction |
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
115
click to vote
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
ICPPW
2009
IEEE
14 years 7 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...
104
click to vote
CSREAPSC
2006
14 years 11 months ago
2006
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
103
click to vote
ENTCS
2006
14 years 9 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...