Sciweavers

900 search results - page 133 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
157
Voted
TVLSI
2008
152views more  TVLSI 2008»
15 years 3 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
130
Voted
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 5 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
156
Voted
SCA
2007
15 years 6 months ago
Face poser: interactive modeling of 3D facial expressions using model priors
In this paper, we present an intuitive interface for interactively posing 3D facial expressions. The user can create and edit facial expressions by drawing freeform strokes, or by...
Manfred Lau, Jinxiang Chai, Ying-Qing Xu, Heung-Ye...
126
Voted
MM
2006
ACM
119views Multimedia» more  MM 2006»
15 years 9 months ago
Model generation for video-based object recognition
This paper presents a novel approach to object recognition involving a sparse 2D model and matching using video. The model is generated on the basis of geometry and image measurab...
Humera Noor, Shahid H. Mirza, Yaser Sheikh, Amit J...
106
Voted
AINA
2007
IEEE
15 years 10 months ago
QOMET: A Versatile WLAN Emulator
In this paper we present the design of QOMET, the Wireless LAN (WLAN) emulator that we develop. Our approach to WLAN emulation is a versatile two-stage scenario-driven design. In ...
Razvan Beuran, Lan Tien Nguyen, Khin Thida Latt, J...