10891 search results - page 1538 / 2179 » Combining Model Reductions |
143
click to vote
ISSTA
2006
ACM
16 years 29 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
203
click to vote
SAC
2006
ACM
16 years 28 days ago
2006
ACM
This paper explores the generation of candidates, which is an important step in frequent itemset mining algorithms, from a theoretical point of view. Important notions in our prob...
162
click to vote
GLVLSI
2005
IEEE
16 years 18 days ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
195
click to vote
HICSS
2005
IEEE
16 years 18 days ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
157
click to vote
ICAC
2005
IEEE
16 years 18 days ago
2005
IEEE
Dynamic capacity provisioning is a useful technique for handling the multi-time-scale variations seen in Internet workloads. In this paper, we propose a novel dynamic provisioning...