2148 search results - page 320 / 430 » Responsiveness in Process Calculi |
ICDCS
1997
IEEE
15 years 2 months ago
1997
IEEE
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...
ICDCS
1997
IEEE
15 years 2 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...
SPATIALCOGNITION
1998
Springer
15 years 2 months ago
1998
Springer
Representations and processes involved in judgments of spatial relations after route learning are investigated. The main objective is to decide which relations are explicitly repre...
VTS
1997
IEEE
15 years 2 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
127
click to vote
ER
1997
Springer
15 years 2 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...