Sciweavers

5314 search results - page 577 / 1063
» Hybrid Dynamic Programming
Sort
View
ECOOP
1994
Springer
15 years 11 months ago
Product Configurations - An Application for Prototype Object Approach
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
Hannu Peltonen, Tomi Männistö, Kari Alho...
ASPLOS
1992
ACM
15 years 11 months ago
Closing the Window of Vulnerability in Multiphase Memory Transactions
Multiprocessor architects have begun to explore several mechanisms such as prefetching, context-switching and software-assisted dynamic cache-coherence, which transform single-pha...
John Kubiatowicz, David Chaiken, Anant Agarwal
ICALP
2000
Springer
15 years 11 months ago
Average Bit-Complexity of Euclidean Algorithms
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
Ali Akhavi, Brigitte Vallée
IWSAS
2000
Springer
15 years 11 months ago
An Architecture for Self-Adaptation and Its Application to Aerial Image Understanding
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
Paul Robertson
ICALP
1997
Springer
15 years 11 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen