5235 search results - page 686 / 1047 » Analysis of Multithreaded Programs |
215
click to vote
IJNSEC
2006
15 years 6 months ago
2006
The widespread use of the Internet has caused computer security to become an important issue. Currently, antivirus software is the primary mechanism that prevents computers from t...
175
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
196
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
214
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
184
click to vote
STOC
2004
ACM
16 years 7 months ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...