3688 search results - page 94 / 738 » Static analysis of aspects |
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...
AUTOMATICA
2005
14 years 11 months ago
2005
Abstract-- Static stabilization of a decentralized discretetime single-integrator network that is subject to Markovian variation in the communication/sensing topology is considered...
AROBOTS
2008
15 years 16 hour ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
FM
2009
Springer
15 years 6 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...