1880 search results - page 72 / 376 » A Static Analysis for Beta-Binders |
SIGSOFT
2007
ACM
16 years 13 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 5 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...
IPAW
2010
14 years 9 months ago
2010
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
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...