Sciweavers

4666 search results - page 329 / 934
» Equations on Timed Languages
Sort
View
PPDP
2010
Springer
15 years 5 months ago
Graph queries through datalog optimizations
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...
IFIP
2001
Springer
15 years 11 months ago
The Phenomenon of Diffusion
This paper presents processing and visualization techniques for Diffusion Tensor Magnetic Resonance Imaging (DT-MRI). In DT-MRI, each voxel is assigned a tensor that describes loc...
Tor J. Larsen
IFL
2001
Springer
15 years 11 months ago
Runtime Behavior of Conversion Interpretation of Subtyping
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
Yasuhiko Minamide
PLDI
1993
ACM
15 years 11 months ago
Lifetime-Sensitive Modulo Scheduling
This paper shows how to software pipeline a loop for minimal register pressure withoutsacrificing the loop’s minimum execution time. This novel bidirectional slack-scheduling m...
Richard A. Huff
ASPLOS
1987
ACM
15 years 10 months ago
Pipelining and Performance in the VAX 8800 Processor
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
Douglas W. Clark