5235 search results - page 627 / 1047 » Analysis of Multithreaded Programs |
223
Voted
CCS
2011
ACM
14 years 7 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
189
Voted
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
193
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
201
click to vote
PLDI
2004
ACM
16 years 29 days ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
205
Voted
OOPSLA
2004
Springer
16 years 27 days ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...