1416 search results - page 190 / 284 » An Exact Interpretation of While |
IUI
1999
ACM
14 years 2 months ago
1999
ACM
From the few evaluations of adaptive navigation systems that have been performed, we see an emerging pattern where depending upon the domain, only certain types of adaptive naviga...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
ICVS
1999
Springer
14 years 2 months ago
1999
Springer
While computing power and transmission bandwidth have both been steadily increasing over the last few years, bandwidth rather than processing power remains the primary bottleneck f...
CONCUR
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
AGP
1996
IEEE
14 years 2 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...