2903 search results - page 36 / 581 » On the univalence of an integral operator |
119
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Existing built-in self test (BIST) strategies require the use of specialized test pattern generation hardware which introduces signi cant area overhead and performance degradation...
119
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Querying and integrating sources of structured data from the Web in most cases requires similarity-based concepts to deal with data level conflicts. This is due to the often errone...
130
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
At the 2003 EuSpRIG meeting, we presented a framework and software infrastructure to generate and analyse an audit trail for a spreadsheet file. This report describes the results ...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
152
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...