7262 search results - page 249 / 1453 » Reversible Computer Hardware |
112
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
129
click to vote
FPL
1995
Springer
15 years 6 months ago
1995
Springer
General purpose custom computing platforms, such as Splash-2, have demonstrated the ability to enter mainstream computing not only due to their near application-specific speeds bu...
TEI
2010
ACM
15 years 10 months ago
2010
ACM
I propose the concept of expressive surfaces as a research theme to investigate and explore aesthetics of computational objects with its emphasis on forms and materials. In this p...
119
click to vote
ISMVL
2007
IEEE
15 years 9 months ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
120
click to vote
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes a simulation-based soft error estimation methodology for computer systems. Accumulating soft error rates (SERs) of all memories in a computer system results in...