352 search results - page 46 / 71 » Evaluating the imprecision of static analysis |
140
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
187
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
137
Voted
CGO
2004
IEEE
15 years 9 months ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
195
click to vote
TSE
2011
15 years 23 days ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
184
click to vote
EDBT
2011
ACM
14 years 9 months ago
2011
ACM
The quadratic form distance (QFD) has been utilized as an effective similarity function in multimedia retrieval, in particular, when a histogram representation of objects is used...