2943 search results - page 444 / 589 » Software Implementation of Synchronous Programs |
118
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
149
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
124
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
106
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
134
click to vote
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...