4346 search results - page 155 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
163
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
135
click to vote
TOG
2008
15 years 3 months ago
2008
In this paper, we describe a new system for converting a user's freehand sketch of a tree into a full 3D model that is both complex and realistic-looking. Our system does thi...
146
click to vote
DICTA
2003
15 years 5 months ago
2003
Human-Machine interfaces play a role of growing importance as computer technology continues to evolve. Motivated by the desire to provide users with an intuitive gesture input syst...
139
click to vote
MASCOTS
2003
15 years 5 months ago
2003
System-level design presents special simulation modeling challenges. System-level models address the architectural and functional performance of complex systems. Systems are decom...
141
click to vote
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...