2000 search results - page 213 / 400 » Program Transformation and Proof Transformation |
134
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
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...
111
Voted
ASPLOS
1992
ACM
15 years 8 months ago
1992
ACM
Multiprocessor architects have begun to explore several mechanisms such as prefetching, context-switching and software-assisted dynamic cache-coherence, which transform single-pha...
128
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
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,...
143
click to vote
CAIP
1995
Springer
15 years 7 months ago
1995
Springer
In this paper a parallel implementation of a watershed algorithm is proposed. The algorithm is designed for a ring-architecture with distributed memory and a piece of shared memory...
163
click to vote
ECEASST
2006
15 years 4 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...