400 search results - page 74 / 80 » An Extensible Meta-Model for Program Analysis |
118
click to vote
PPOPP
2010
ACM
14 years 10 months ago
2010
ACM
Many programs exploit shared-memory parallelism using multithreading. Threaded codes typically use locks to coordinate access to shared data. In many cases, contention for locks r...
CLOUDCOM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
112
click to vote
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
112
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
101
click to vote
ISMB
1994
15 years 29 days ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...