5015 search results - page 470 / 1003 » Model Checking a Path |
190
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
303
click to vote
ICOODB
2010
15 years 4 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
164
click to vote
CGI
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
194
click to vote
DIALM
2010
ACM
15 years 4 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
163
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Modeling the deflection of flexible needles is an essential part of needle insertion simulation and path planning. In this paper, three models are compared in terms of accuracy in ...