Sciweavers

181 search results - page 31 / 37
» Using Static Analysis to Find Bugs
Sort
View
IWPC
2009
IEEE
15 years 5 months ago
An exploratory study on assessing feature location techniques
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
Meghan Revelle, Denys Poshyvanyk
HIPC
2007
Springer
15 years 2 months ago
Accomplishing Approximate FCFS Fairness Without Queues
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
K. Subramani, Kamesh Madduri
96
Voted
ECRTS
2003
IEEE
15 years 4 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
86
Voted
CEC
2007
IEEE
15 years 2 months ago
Emergence of feedback in artificial gene regulatory networks
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
Till Steiner, Lisa Schramm, Yaochu Jin, Bernhard S...
AOSD
2008
ACM
15 years 26 days ago
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
Guoqing Xu, Atanas Rountev