1629 search results - page 102 / 326 » Infeasible Code Detection |
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
IWPC
2007
IEEE
15 years 4 months ago
2007
IEEE
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this contribution we present a novel ant colony optimization (ACO) based multi-user detector (MUD) designed for synchronous multi-carrier direct sequence code divisi...
WCRE
2007
IEEE
15 years 4 months ago
2007
IEEE
tection via Structural Abstraction William S. Evans Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, CANADA Christopher W. Fraser Microsoft Re...
ACMMSP
2005
ACM
15 years 3 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...