2673 search results - page 108 / 535 » Guided Static Analysis |
108
click to vote
SASN
2003
ACM
15 years 6 months ago
2003
ACM
Sensor networks are ideal candidates for applications such as target tracking and environment monitoring. Security in sensor networks is critical when there are potential adversar...
117
click to vote
COMPGEOM
2008
ACM
15 years 3 months ago
2008
ACM
We consider the problem of finding a maximum number of disjoint paths for unit disks moving amidst static or dynamic obstacles. For the static case we give efficient exact algorit...
199
click to vote
PEPM
2009
ACM
17 years 1 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
137
click to vote
ECRTS
2005
IEEE
15 years 6 months ago
2005
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...