Sciweavers

4636 search results - page 336 / 928
» Modelling and Validation with VipTool
Sort
View
PPOPP
2010
ACM
16 years 1 months ago
Modeling advanced collective communication algorithms on cell-based systems
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
Qasim Ali, Samuel P. Midkiff, Vijay S. Pai
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
16 years 1 months ago
A unified non-rectangular device and circuit simulation model for timing and power
— For 65nm and below devices, even after optical proximity correction (OPC), the gate may still be non-rectangular. There are several limited works on the device and circuit char...
Sean X. Shi, Peng Yu, David Z. Pan
SAC
2009
ACM
15 years 11 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
ICASSP
2009
IEEE
15 years 11 months ago
A flat direct model for speech recognition
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
Georg Heigold, Geoffrey Zweig, Xiao Li, Patrick Ng...
ICRA
2009
IEEE
156views Robotics» more  ICRA 2009»
15 years 11 months ago
Deformation modeling of belt object with angles
Abstract— A differential geometry based modeling to represent belt object deformation is proposed. Deformation of a belt object such as film circuit boards or flexible circuit ...
Hidefumi Wakamatsu, Eiji Morinaga, Eiji Arai, Shin...