Sciweavers

2673 search results - page 343 / 535
» Guided Static Analysis
Sort
View
SP
2008
IEEE
15 years 11 months ago
Preventing Memory Error Exploits with WIT
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
Periklis Akritidis, Cristian Cadar, Costin Raiciu,...
OOPSLA
2007
Springer
15 years 11 months ago
Inferring aliasing and encapsulation properties for java
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
Kin-Keung Ma, Jeffrey S. Foster
131
Voted
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
15 years 11 months ago
Motion Planning for the Roller Racer with a Sticking/Slipping Switching Model
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
Peng Cheng, Emilio Frazzoli, Vijay Kumar
DAC
2006
ACM
15 years 11 months ago
Modeling and minimization of PMOS NBTI effect for robust nanometer design
Negative bias temperature instability (NBTI) has become the dominant reliability concern for nanoscale PMOS transistors. In this paper, a predictive model is developed for the deg...
Rakesh Vattikonda, Wenping Wang, Yu Cao
SOFTVIS
2006
ACM
15 years 11 months ago
Visualizing live software systems in 3D
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
Orla Greevy, Michele Lanza, Christoph Wysseier