1534 search results - page 131 / 307 » Error Reporting Logic |
134
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
115
click to vote
VTS
2005
IEEE
15 years 10 months ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
165
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
125
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
224
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Recent research literature on sensor network databases has focused on finding ways to perform in-network aggregation of sensor readings to reduce the message cost. However, with t...