2673 search results - page 247 / 535 » Guided Static Analysis |
153
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
132
click to vote
TROB
2010
15 years 21 days ago
2010
A new approach to a variable stiffness actuator with tunable resonant frequencies is presented in this paper. Variable stiffness actuators have become increasingly important for m...
305
click to vote
FAST
2011
14 years 9 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
176
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—In Vehicular Ad Hoc Networks (VANETs), the major communication challenge lies in very poor connectivity, which can be caused by sparse or unbalanced traffic. Deploying supporti...
169
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...