3130 search results - page 9 / 626 » Design Correctness of Digital Systems |
POPL
2007
ACM
14 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we describe the design of menus for multi-user digital tabletops. On direct input surfaces, occlusions created by the user's hand decrease interaction performa...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
VTS
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper proposes an adaptive multi-bit error correcting code for phase change memories that provides a manifold increase in the lifetime of phase change memories thereby making...
APCCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—The quality of transmission is very important in digital communication. However, in non-deterministic environment or different transmission message signal, bit error rate of PCM...