4693 search results - page 854 / 939 » Verifying Hybrid Systems |
99
Voted
KDD
2010
ACM
14 years 11 months ago
2010
ACM
Malware categorization is an important problem in malware analysis and has attracted a lot of attention of computer security researchers and anti-malware industry recently. Today...
116
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
108
click to vote
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract: Existing multicore systems already provide deep levels of thread parallelism. Hybrid programming models and composability of parallel libraries are very active areas of r...
135
click to vote
LCTRTS
2010
Springer
14 years 10 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
DLOG
2009
14 years 10 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...