Sciweavers

2638 search results - page 400 / 528
» A Framework for Automatic Debugging
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
Fang Yu, Muath Alkhalaf, Tevfik Bultan
ICSM
2009
IEEE
16 years 1 months ago
Detection and analysis of near-miss software clones
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
Chanchal K. Roy
IPPS
2009
IEEE
16 years 1 months ago
Accurate analytical performance model of communications in MPI applications
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...
Diego Rodriguez Martínez, José Carlo...
IPPS
2009
IEEE
16 years 1 months ago
Building a parallel pipelined external memory algorithm library
Large and fast hard disks for little money have enabled the processing of huge amounts of data on a single machine. For this purpose, the well-established STXXL library provides a...
Andreas Beckmann, Roman Dementiev, Johannes Single...
IROS
2009
IEEE
126views Robotics» more  IROS 2009»
16 years 1 months ago
Hierarchical appearance-based classifiers for qualitative spatial localization
—This paper presents a novel appearance-based technique for qualitative spatial localization. A vocabulary of visual words is built automatically, representing local features tha...
Ehsan Fazl Ersi, James H. Elder, John K. Tsotsos