3130 search results - page 24 / 626 » Design Correctness of Digital Systems |
131
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
111
Voted
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...
128
Voted
BCSHCI
2009
14 years 11 months ago
2009
In this paper, I describe an ethnographic study of children and parents looking at issues of domestic privacy and security. I will provide an overview of parental rules and strate...
104
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
119
Voted
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a multilevel (ML) Flash memory onchip error correction system design based on the concept of trellis coded modulation (TCM). This is motivated by the non-trivi...