6434 search results - page 1163 / 1287 » Model Transformations with Reference Models |
123
Voted
LPAR
1999
Springer
15 years 6 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
122
Voted
HT
1998
ACM
15 years 6 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
114
Voted
CSL
1998
Springer
15 years 6 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
110
click to vote
GD
1998
Springer
15 years 6 months ago
1998
Springer
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...
103
Voted
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
Memory-intensive behaviors often contain large arrays that are synthesized into off-chip memories. With the increasing gap between on-chip and off-chip memory access delays, it is...