Sciweavers

7197 search results - page 1063 / 1440
» On the computational power of BlenX
Sort
View
IPPS
1995
IEEE
15 years 10 months ago
Symbolic range propagation
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6 . In previous work we have introduced an algorithm calle...
William Blume, Rudolf Eigenmann
TLCA
1995
Springer
15 years 10 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
190
Voted
ECCV
2010
Springer
15 years 9 months ago
Fast dynamic texture detection
Dynamic textures can be considered to be spatio-temporally varying visual patterns in image sequences with certain temporal regularity. We propose a novel and efficient approach t...
SGP
2007
15 years 9 months ago
Laplace-Beltrami eigenfunctions for deformation invariant shape representation
A deformation invariant representation of surfaces, the GPS embedding, is introduced using the eigenvalues and eigenfunctions of the Laplace-Beltrami differential operator. Notabl...
Raif M. Rustamov
177
Voted
NSDI
2007
15 years 9 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...
« Prev « First page 1063 / 1440 Last » Next »