Sciweavers

1285 search results - page 31 / 257
» An analysis of XQuery benchmarks
Sort
View
ISOLA
2010
Springer
14 years 8 months ago
Worst-Case Analysis of Heap Allocations
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
Wolfgang Puffitsch, Benedikt Huber, Martin Schoebe...
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
14 years 8 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
ICPR
2002
IEEE
15 years 11 months ago
Spatial Texture Analysis: A Comparative Study
Image texture analysis has received a considerable amount of attention over the last few years as it forms the basis of most object recognition methods. It has been suggested by a...
Maneesha Singh, Sameer Singh
KBSE
2008
IEEE
15 years 4 months ago
Automatic Inference of Frame Axioms Using Static Analysis
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
Zvonimir Rakamaric, Alan J. Hu

Publication
280views
14 years 19 days ago
VADANA: A dense dataset for facial image analysis
Analysis of face images has been the topic of in-depth research with wide spread applications. Face recognition, verification, age progression studies are some of the topics under...
Gowri Somanath, Rohith MV, Chandra Kambhamettu