Sciweavers

1100 search results - page 128 / 220
» An Approach to Test Aspect-oriented Programs
Sort
View
ISSTA
2012
ACM
13 years 5 months ago
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...
Juan Caballero, Gustavo Grieco, Mark Marron, Anton...
ASWEC
2008
IEEE
15 years 5 months ago
Root Cause Analysis Using Sequence Alignment and Latent Semantic Indexing
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
R. P. Jagadeesh Chandra Bose, U. Suresh
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 6 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana
EOR
2006
134views more  EOR 2006»
15 years 3 months ago
A smoothing heuristic for a bilevel pricing problem
In this paper, we provide a heuristic procedure, that performs well from a global optimality point of view, for an important and difficult class of bilevel programs. The algorithm...
Jean-Pierre Dussault, Patrice Marcotte, Séb...
MEMOCODE
2010
IEEE
15 years 1 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...