Sciweavers

1646 search results - page 194 / 330
» Inlining of Virtual Methods
Sort
View
GRAPHITE
2006
ACM
15 years 8 months ago
Validating retargeted and interpolated locomotions by dynamics-based analysis
Retargeting and interpolation methods may introduce physical inaccuracies in virtual human animation. This paper presents a method for evaluating the dynamical correctness of reta...
Nicolas Pronost, Georges Dumont
ISVC
2009
Springer
15 years 6 months ago
Codebook-Based Background Subtraction to Generate Photorealistic Avatars in a Walkthrough Simulator
Foregrounds extracted from the background, which are intended to be used as photorealistic avatars for simulators in a variety of virtual worlds, should satisfy the following four ...
Anjin Park, Keechul Jung, Takeshi Kurata
KBSE
2000
IEEE
15 years 6 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
RTCSA
1997
IEEE
15 years 6 months ago
On memory protection in real-time OS for small embedded systems
Memory protection is an important OS feature for the reliability and safety of real-time control systems. In this paper, we study the feasibility of memory protection in small emb...
Shoji Suzuki, Kang G. Shin
FORTE
2000
15 years 3 months ago
Systematic Performance Evaluation of Multipoint Protocols
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, ...