1237 search results - page 166 / 248 » Strictness and Totality Analysis |
138
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--In this article we present KRASH, a tool for reproducible generation of system-level CPU load. This tool is intended for use in shared memory machines equipped with multi...
173
click to vote
STACS
2012
Springer
14 years 1 months ago
2012
Springer
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...
203
click to vote
TVCG
2012
13 years 8 months ago
2012
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...
154
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
154
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...