472 search results - page 2 / 95 » Symbolic range propagation |
ICC
2007
IEEE
14 years 2 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...
VISAPP
2008
13 years 10 months ago
2008
SSPR
1998
Springer
14 years 22 days 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 ...
ESOP
2001
Springer
14 years 1 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...
SC
1994
ACM
14 years 18 days 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...