12981 search results - page 2505 / 2597 » Model Checking and Abstraction |
112
click to vote
PAM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The 95-percentile method is used widely for billing ISPs and websites. In this work, we characterize important aspects of the 95-percentile method using a large set of tr...
110
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
108
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
DSD
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
122
click to vote
FOCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— A number of recent results on optimization problems involving submodular functions have made use of the ”multilinear relaxation” of the problem [3], [8], [24], [14]...