Sciweavers

43264 search results - page 379 / 8653
» Comparing models of computation
Sort
View
HPCA
1999
IEEE
15 years 11 months ago
Improving the Accuracy vs. Speed Tradeoff for Simulating Shared-Memory Multiprocessors with ILP Processors
Previous simulators for shared-memory architectures have imposed a large tradeoff between simulation accuracy and speed. Most such simulators model simple processors that do not e...
Murthy Durbhakula, Vijay S. Pai, Sarita V. Adve
IPPS
1998
IEEE
15 years 11 months ago
Multiprocessor Scheduling Using Mean-Field Annealing
This paper presents our work on the static task scheduling model using the mean-field annealing (MFA) technique. Mean-field annealing is a technique of thermostatic annealing that...
Shaharuddin Salleh, Albert Y. Zomaya
BIRTHDAY
1997
Springer
15 years 11 months ago
Expressive Power of Unary Counters
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
Michael Benedikt, H. Jerome Keisler
SIGGRAPH
1994
ACM
15 years 10 months ago
Predicting the drape of woven cloth using interacting particles
We demonstrate a physically-based technique for predicting the drape of a wide variety of woven fabrics. The approach exploits a theoretical model that explicitly represents the m...
David E. Breen, Donald H. House, Michael J. Wozny
AMDO
2008
Springer
15 years 8 months ago
Exploiting Structural Hierarchy in Articulated Objects Towards Robust Motion Capture
This paper presents a general analysis framework towards exploiting the underlying hierarchical and scalable structure of an articulated object for pose estimation and tracking. Th...
Cristian Canton-Ferrer, Josep R. Casas, Montse Par...