1535 search results - page 283 / 307 » Lazy Shape Analysis |
JSC
2010
13 years 6 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
JVCIR
2010
13 years 6 months ago
2010
In order to get an efficient image representation we introduce a new adaptive Haar wavelet transform, called Tetrolet Transform. Tetrolets are Haar-type wavelets whose supports ar...
PVLDB
2010
13 years 6 months ago
2010
Recent improvements in positioning technology make massive moving object data widely available. One important analysis is to find the moving objects that travel together. Existin...
SYNTHESE
2010
13 years 6 months ago
2010
Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These s...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
— Ultra-wideband (UWB) techniques are recently targeted as a broadband short range solution for in-flightentertainment (IFE) systems. Despite the in-cabin channel can be consider...