7393 search results - page 1247 / 1479 » Synthesis-for-testability using transformations |
136
click to vote
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
161
click to vote
PPOPP
1993
ACM
15 years 7 months ago
1993
ACM
We describe computation migration,a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In cont...
158
click to vote
SIGGRAPH
1993
ACM
15 years 7 months ago
1993
ACM
The Fourier projection-slice theorem allows projections of volume data to be generated in O(n2 log n) time for a volume of size n3 . The method operates by extracting and inverse ...
135
click to vote
SI3D
1992
ACM
15 years 7 months ago
1992
ACM
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...
102
click to vote
ICDT
1990
ACM
15 years 7 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...