2140 search results - page 134 / 428 » Simulation Issues in Haptics |
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
138
click to vote
ICN
2007
Springer
15 years 10 months ago
2007
Springer
— Multi-hop wireless ad-hoc networks are drawing more and more attention from both academic and industrial research. The lack of infrastructure makes those networks easy to deplo...
134
click to vote
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
The Advance in video coding and wireless communication techniques has enabled video-based services to be the most important component of many emerging multimedia applications. The...
136
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...
131
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper studies parallel job scheduling in a distributed system. A simulation model is used to address performance issues associated with scheduling. Five policies are used to ...