1410 search results - page 160 / 282 » A Logic for Virtual Memory |
153
Voted
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
115
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
126
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a high-level analytical model for estimating the energy and/or power dissipation in VLSI processor (systolic) array implementations of loop programs, particularly for i...
104
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- This paper proposes a hardware design debugging method, Transition and Transaction Tracer (TTT), which probes and records the signals of interest for a long time, hours, days, or...
143
click to vote
VVEIS
2008
15 years 6 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...