549 search results - page 33 / 110 » Verification condition generation for conditional informatio... |
117
click to vote
DSN
2011
IEEE
14 years 9 days ago
2011
IEEE
—As process technology shrinks devices, circuits experience accelerated wearout. Monitoring wearout will be critical for improving the efficiency of error detection and correctio...
127
click to vote
ICSE
2005
IEEE-ACM
16 years 18 days ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
100
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— Clock-gating and power-gating have proven to be very effective solutions for reducing dynamic and static power, respectively. The two techniques may be coupled in such a way th...
LCN
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—This paper presents results from performance measurements carried out in a Differentiated Services WAN connecting three major cities in Southern Finland. The target of t...
107
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...