77016 search results - page 14844 / 15404 » Modeling Modeling |
185
click to vote
NSPW
2003
ACM
16 years 12 days ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
208
click to vote
PLDI
2003
ACM
16 years 12 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
218
click to vote
PLDI
2003
ACM
16 years 12 days ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
165
click to vote
PODC
2003
ACM
16 years 12 days ago
2003
ACM
Consider a dynamic, large-scale communication infrastructure (e.g., the Internet) where nodes (e.g., in a peer to peer system) can communicate only with nodes whose id (e.g., IP a...
177
click to vote
PODC
2003
ACM
16 years 12 days ago
2003
ACM
This paper considers the problem of performing tasks in asynchronous distributed settings. This problem, called DoAll, has been substantially studied in synchronous models, but th...