1410 search results - page 195 / 282 » A Logic for Virtual Memory |
270
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
153
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
—Nanoscale integrated circuits are becoming increasingly sensitive to radiation-induced transient faults (soft errors) due to current technology scaling trends, such as shrinking...
144
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper proposes a novel approach to implement software object in hardware. Data-Memory mapping schemes are investigated and four hardware object design schemes are proposed an...
116
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
An algorithm for technology mapping of combinational and sequential logic networks is proposed and applied to mapping into K-input lookup-tables (K-LUTs). The new algorithm avoids...
125
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...