Sciweavers

321 search results - page 52 / 65
» Testing protocols modeled as FSMs with timing parameters
Sort
View
CII
2006
324views more  CII 2006»
15 years 3 months ago
Computer aided parametric design for 3D tire mold production
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
Chih-Hsing Chu, Mu-Chi Song, Vincent C. S. Luo
157
Voted
PLDI
2010
ACM
15 years 8 months ago
Adversarial memory for detecting destructive races
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
Cormac Flanagan, Stephen N. Freund
136
Voted
ICPR
2008
IEEE
16 years 4 months ago
Spatio-temporal 3D pose estimation and tracking of human body parts using the Shape Flow algorithm
In this contribution we introduce the Shape Flow algorithm (SF), a novel method for spatio-temporal 3D pose estimation of a 3D parametric curve. The SF is integrated into a tracki...
Markus Hahn, Lars Krüger, Christian Wöhl...
WWW
2007
ACM
16 years 4 months ago
AutoPerf: an automated load generator and performance measurement tool for multi-tier software systems
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
Shrirang Sudhir Shirodkar, Varsha Apte
115
Voted
WSC
2000
15 years 5 months ago
SNOOPy Calendar Queue
Discrete event simulations often require a future event list structure to manage events according to their timestamp. The choice of an efficient data structure is vital to the per...
Kah Leong Tan, Ian Li-Jin Thng