12981 search results - page 2505 / 2597 » Model Checking (Abstract) |
127
click to vote
PAM
2009
Springer
15 years 10 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...
127
click to vote
CSE
2009
IEEE
15 years 10 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...
122
click to vote
DATE
2009
IEEE
15 years 10 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...
110
click to vote
DSD
2009
IEEE
15 years 10 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...
152
click to vote
FOCS
2009
IEEE
15 years 10 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]...