Sciweavers

52 search results - page 5 / 11
» Parametric Embedding for Class Visualization
Sort
View
JTRES
2009
ACM
14 years 2 months ago
On transforming Java-like programs into memory-predictable code
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
Diego Garbervetsky, Sergio Yovine, Víctor A...
COMPGEOM
2006
ACM
14 years 1 months ago
Embedding ultrametrics into low-dimensional spaces
We study the problem of minimum-distortion embedding of ultrametrics into the plane and higher dimensional spaces. Ultrametrics are a natural class of metrics that frequently occu...
Mihai Badoiu, Julia Chuzhoy, Piotr Indyk, Anastasi...
BMVC
1998
13 years 9 months ago
Segmentation of Global Motion using Temporal Probabilistic Classification
The segmentation of pixels belonging to different moving elements within a cinematographic image sequence underpins a range of post-production special effects. In this work, the s...
P. R. Giaccone, Graeme A. Jones
PLDI
2003
ACM
14 years 28 days ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
VL
1997
IEEE
165views Visual Languages» more  VL 1997»
13 years 12 months ago
Alterable Visual Languages
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
Chris M. Holt