Sciweavers

52 search results - page 5 / 11
» Parametric Embedding for Class Visualization
Sort
View
JTRES
2009
ACM
15 years 6 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
15 years 5 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
15 years 29 days 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
15 years 4 months 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...
92
Voted
VL
1997
IEEE
165views Visual Languages» more  VL 1997»
15 years 3 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