7961 search results - page 1226 / 1593 » Input-Output Model Programs |
149
click to vote
ICRA
1993
IEEE
15 years 9 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
149
click to vote
ISCA
1993
IEEE
15 years 9 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
139
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
146
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
148
click to vote
ERSHOV
1993
Springer
15 years 9 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...