1410 search results - page 185 / 282 » A Logic for Virtual Memory |
187
click to vote
PUC
2002
15 years 5 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
159
click to vote
GLVLSI
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...
167
click to vote
DAC
2006
ACM
16 years 4 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
146
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
158
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a methodology for parallel and distributed simulation of VHDL using the PDES (parallel discrete-event simulation) paradigm. To achieve better features and perf...