11740 search results - page 1933 / 2348 » More Problems in Rewriting |
244
click to vote
CONCUR
1998
Springer
15 years 12 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
217
click to vote
HOTOS
1997
IEEE
15 years 12 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
225
click to vote
VISUALIZATION
1997
IEEE
15 years 12 months ago
1997
IEEE
This paper presents a framework for multiresolution compression and geometric reconstruction of arbitrarily dimensioned data designed for distributed applications. Although being ...
167
click to vote
ECP
1997
Springer
15 years 12 months ago
1997
Springer
During the planning process, a planner may have many options for refinements to perform on the plan being developed. The planner’s efficiency depends on how it chooses which ref...
189
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
Wait-free implementations of shared objects tolerate the failure of processes, but not the failure of base objects from which they are implemented. We consider the problem of imple...