473 search results - page 76 / 95 » Model Generation for Distributed Java Programs |
SIGGRAPH
1998
ACM
14 years 1 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
NIPS
2007
13 years 10 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
WSC
2007
13 years 11 months ago
2007
The C source code associated with the Simulation 101 preconference workshop (offered at the 2006 and 2007 Winter Simulation Conferences) is presented here. This paper begins with ...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...