1559 search results - page 129 / 312 » The Semantics of Future and Its Use in Program Optimizations |
191
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
ASE
2005
14 years 10 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
SIGCSE
1990
ACM
15 years 2 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— We discuss a software environment for multirobot, multi-platform mobile robot control and simulation. Like others, we have observed that mobile robotics research is gre...