![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Tsukada Yasuyuki
Publisher: Springer Publishing Company
ISSN: 0928-8910
Source: Automated Software Engineering, Vol.12, Iss.2, 2005-04, pp. : 237-257
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Probabilistic Alias Analysis of Executable Code
By Lu Yu-Min
International Journal of Parallel Programming, Vol. 39, Iss. 6, 2011-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A Probabilistic Approach to Concurrent Mapping and Localization for Mobile Robots
By Thrun S.
Machine Learning, Vol. 31, Iss. 1-3, 1998-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A Probabilistic Approach to Concurrent Mapping and Localization for Mobile Robots
By Thrun S.
Autonomous Robots, Vol. 5, Iss. 3-4, 1998-07 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Automated techniques for provably safe mobile code
By Colby C. Crary K. Harper R. Lee P. Pfenning F.
Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. :