5451 search results - page 936 / 1091 » Typed Operational Semantics |
157
Voted
ICRA
1993
IEEE
15 years 7 months ago
1993
IEEE
We present an approach for solving the path planning problem for a mobile robot operating in an unknown, three dimensional environment containing obstacles of arbitrary shape. The...
125
Voted
MICRO
1994
IEEE
15 years 7 months ago
1994
IEEE
Multiple issue of instructions occurs in superscalar and VLIW machines. This paper investigates a third type of machine design, which combines the advantages of code compatibility...
148
click to vote
IFIP
1993
Springer
15 years 7 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
141
Voted
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
112
Voted
SPAA
1990
ACM
15 years 7 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...