5159 search results - page 75 / 1032 » Structural Testing of Executables |
133
click to vote
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
Matrix multiplication is a basic computing operation. Whereas it is basic, it is also very expensive with a straight forward technique of O(N3 ) runtime complexity. More complex s...
150
click to vote
PPOPP
2011
ACM
14 years 5 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...
146
click to vote
CICLING
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
107
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a novel approach to design and develop an assembly and execution shell for multiagent applications based on the concept of a mission. A mission is a live evolv...