6201 search results - page 400 / 1241 » Implementation of Axiomatic Language |
158
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
150
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...
159
click to vote
SDB
1995
15 years 10 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
183
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
175
click to vote
INFSOF
2006
15 years 6 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...