4722 search results - page 427 / 945 » Encoding Program Executions |
217
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
179
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
147
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
189
click to vote
ISLPED
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a model of dynamically variable voltage processor and basic theorems for power-delay optimization. A static voltage scheduling problem is also proposed and for...
158
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...