3688 search results - page 572 / 738 » Static analysis of aspects |
215
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
144
click to vote
TOG
2008
15 years 6 months ago
2008
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...
206
click to vote
TOG
2008
15 years 6 months ago
2008
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
150
click to vote
TSE
2008
15 years 6 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
171
click to vote
TSP
2008
15 years 6 months ago
2008
For orthogonal space-time block coded orthogonal frequency division multiplexing (OSTBC-OFDM) systems, many of the existing blind detection and channel estimation methods rely on t...