3130 search results - page 286 / 626 » Design Correctness of Digital Systems |
141
click to vote
TCOM
2008
15 years 6 months ago
2008
This paper proposes a general and systematic code design method to efficiently combine constrained codes with parity-check (PC) codes for optical recording. The proposed constraine...
197
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
186
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
226
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
— Computing resource provisioning through the use of the Cloud computing paradigm has triggered revolutions in modern day computing. It is a new paradigm for deploying services o...
161
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...