4722 search results - page 95 / 945 » Encoding Program Executions |
263
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
To improve the performance of a single application on Chip Multiprocessors (CMPs), the application must be split into threads which execute concurrently on multiple cores. In mult...
143
click to vote
SP
2007
IEEE
15 years 8 months ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
147
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
143
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
139
click to vote
MOBISYS
2008
ACM
16 years 1 months ago
2008
ACM
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...