2673 search results - page 320 / 535 » Guided Static Analysis |
121
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents STAX, a crosstalk target set compaction framework to reduce the complexity of the crosstalk ATPG process by pruning non-fault-producing targets. In general, ex...
160
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Sensor deployments may be static, but researchers have recently been making a case for mobile collector nodes to enhance data acquisition. Since mobile nodes are often more pri...
156
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
149
click to vote
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
143
click to vote
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...