460 search results - page 71 / 92 » New Tools for Graph Coloring |
92
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
140
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
92
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
122
Voted
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
The proliferation of video content on the web makes similarity detection an indispensable tool in web data management, searching, and navigation. We have previously proposed a com...
126
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...