6197 search results - page 246 / 1240 » Sandbridge Software Tools |
157
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
141
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we describe restructuring of C code into new C++ classes. Such restructuring is done to facilitate both software reuse and software evolution. The restructuring is ...
122
click to vote
BCSHCI
2007
15 years 7 months ago
2007
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...
150
click to vote
SOCO
2008
Springer
15 years 5 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...
237
click to vote
CGO
2011
IEEE
14 years 9 months ago
2011
IEEE
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...