1446 search results - page 82 / 290 » Hardware Software Co-Design Using Functional Languages |
131
Voted
DFT
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
146
Voted
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
145
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
135
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
116
click to vote
MSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...