5525 search results - page 1088 / 1105 » Verification of Model Transformations |
ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
TIC
1998
Springer
14 years 3 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
SIGMOD
1997
ACM
14 years 3 months ago
1997
ACM
The Distributed Information Search COmponent (Disco) is a prototype heterogeneous distributed database that accesses underlying data sources. The Disco prototype currently focuses...
ASPLOS
1996
ACM
14 years 3 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
FBIT
2007
IEEE
14 years 2 months ago
2007
IEEE
In this pilot study, we developed a set of computer vision based surface segmentation and statistical shape analysis algorithms to study genetic influences on brain structure in a...