3771 search results - page 386 / 755 » Subobject Transformation Systems |
128
click to vote
VLDB
1989
ACM
15 years 9 months ago
1989
ACM
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...
139
Voted
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
162
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
136
Voted
ICALP
2000
Springer
15 years 8 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,...
164
Voted
WCRE
1995
IEEE
15 years 8 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...