2271 search results - page 81 / 455 » Scalable Software Libraries |
IJUFKS
2002
13 years 9 months ago
2002
aint on disclosure risk. Underlying abstractions -- primarily associated with the query space, as well as released and unreleasable sub-tables and frontiers, computational algorith...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Detecting code clones has many software engineering applications. Existing approaches either do not scale to large code bases or are not robust against minor code modifications. I...