2673 search results - page 113 / 535 » Guided Static Analysis |
136
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
115
click to vote
RAID
2005
Springer
15 years 9 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
137
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
115
click to vote
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
A tight estimate on the maximum distance between a subdivision surface and its linear approximation is introduced to guide adaptive subdivision with guaranteed accuracy.
161
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...