3256 search results - page 640 / 652 » Applications of Formal Methods to System Design and Verifica... |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Target tracking is an important issue in wireless sensor network applications. In this paper, we design a Coverage-Hole Trap Model (CTM) based on a system that contains one moving...
PLDI
2004
ACM
14 years 25 days ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
DCC
2000
IEEE
13 years 11 months ago
2000
IEEE
Multiple description codes are data compression algorithms designed with the goal of minimizing the distortion caused by data loss in packet-based or diversity communications syst...
VISUALIZATION
1997
IEEE
13 years 11 months ago
1997
IEEE
Volume rendering is a valuable and important technique for scientific visualization. One well known application area is the reconstruction and visualization of output from medica...
WCE
2007
13 years 8 months ago
2007
— In order to predict the durability of engineering components and improve performance, it is mandatory to understand residual stresses. The last decade has witnessed a significa...