9842 search results - page 524 / 1969 » Compositional timing analysis |
184
click to vote
ICALP
1990
Springer
15 years 11 months ago
1990
Springer
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
172
Voted
ISSAC
1989
Springer
15 years 11 months ago
1989
Springer
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...
172
click to vote
SBP
2010
Springer
15 years 11 months ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
184
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Current refactoring tools work on a particular language. Each time it is intended to provide refactoring support for new languages, the same refactoring operations are defined and...
187
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...