2367 search results - page 367 / 474 » An experimental analysis of self-adjusting computation |
170
click to vote
IFM
2009
Springer
16 years 26 days ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
139
click to vote
APLAS
2009
ACM
16 years 25 days ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
178
click to vote
ASPDAC
2009
ACM
16 years 25 days ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
166
click to vote
CANDC
2009
ACM
16 years 25 days ago
2009
ACM
This paper presents preliminary findings from our empirical study of the cognition employed by performers in improvisational theatre. Our study has been conducted in a laboratory ...
140
click to vote
IMC
2009
ACM
16 years 25 days ago
2009
ACM
Researchers and network operators often say that BGP table transfers are slow. Despite this common knowledge, the reasons for slow BGP transfers are not well understood. This pape...