472 search results - page 2 / 95 » Symbolic range propagation |
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— An interferometric ranging technique has been recently proposed as a possible way to localize ad hoc and sensor networks. Compared to the more common techniques such as receive...
82
Voted
VISAPP
2008
15 years 3 months ago
2008
101
click to vote
SSPR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this paper, we propose a method for recognizing architectural symbols. The method is based on the description of the model through a set of constraints on geometrical ...
119
Voted
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
112
Voted
SC
1994
ACM
15 years 5 months ago
1994
ACM
Most current data dependence tests cannot handle loop bounds or array subscripts that are symbolic, nonlinear expressions e.g. Ani+j, where 0 j n. In this paper, we describe a d...