77016 search results - page 14768 / 15404 » Modeling Modeling |
219
click to vote
PASTE
2005
ACM
16 years 25 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
203
click to vote
PLDI
2005
ACM
16 years 25 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
222
click to vote
PLDI
2005
ACM
16 years 25 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
201
click to vote
PODC
2005
ACM
16 years 25 days ago
2005
ACM
Many large-scale networks such as ad hoc and sensor networks, peer-to-peer networks, or the Internet have the property that the number of independent nodes does not grow arbitrari...
191
click to vote
PPOPP
2005
ACM
16 years 25 days ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...