3130 search results - page 221 / 626 » Design Correctness of Digital Systems |
165
click to vote
JAMIA
2010
14 years 11 months ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
155
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
141
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a novel ReliAble ProbabIlistic Dissemination protocol, RAPID, for mobile wireless ad-hoc networks that tolerates message omissions, node crashes, and sel...
156
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
123
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Motivated by recent emerging systems that can leverage partially correct packets in wireless networks, this paper investigates the novel concept of error estimating codes (EEC). W...