Sciweavers

3688 search results - page 463 / 738
» Static analysis of aspects
Sort
View
195
Voted
CVPR
2007
IEEE
16 years 8 months ago
Thermal-Visible Video Fusion for Moving Target Tracking and Pedestrian Classification
The paper presents a fusion-tracker and pedestrian classifier for color and thermal cameras. The tracker builds a background model as a multi-modal distribution of colors and temp...
Alex Leykin, Yang Ran, Riad I. Hammoud
WWW
2002
ACM
16 years 7 months ago
An event-condition-action language for XML
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
James Bailey, Alexandra Poulovassilis, Peter T. Wo...
ECOOP
2009
Springer
16 years 7 months ago
Checking Framework Interactions with Relationships
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
Ciera Jaspan, Jonathan Aldrich
190
Voted
VLSID
2009
IEEE
143views VLSI» more  VLSID 2009»
16 years 7 months ago
SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
Weixun Wang, Prabhat Mishra, Ann Gordon-Ross
ICSE
2008
IEEE-ACM
16 years 6 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich