412 search results - page 61 / 83 » Incremental Clone Detection |
JCS
2011
12 years 11 months ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...
MICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we...
ICSE
2001
IEEE-ACM
14 years 13 days ago
2001
IEEE-ACM
Global software development challenges traditional techniques of software engineering, such as peer reviews or teamwork. Effective teamwork and coaching of engineers highly contri...
24
Voted
CP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
We introduce flexible algorithms that can automatically learn mappings from images to actions by interacting with their environment. They work by introducing an image classifier i...