882 search results - page 123 / 177 » Allowing State Changes in Specifications |
160
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
A perennial challenge in creating and using complex autonomous agents is following their choices of actions as the world changes dynamically and understanding why they act as they ...
145
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service down-time. Most industrial applicati...
161
click to vote
CC
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
187
click to vote
LCR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
120
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...