Sciweavers

270 search results - page 10 / 54
» Industry Standards from Accellera
Sort
View
PGLDB
2003
131views Database» more  PGLDB 2003»
13 years 9 months ago
A Metropolitan Ethernet Network (MEN) Testbed
This paper describes the project, the development and deployment of a Metro Ethernet Network in the city of Morungaba, SP, Brazil. The Ethernet is a widely deployed technology tha...
Leonardo S. Mendes, José H. M. Maciel
EOR
2000
98views more  EOR 2000»
13 years 7 months ago
Optimal planning in large multi-site production networks
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...
Christian Timpe, Josef Kallrath
VRML
2003
ACM
14 years 24 days ago
3D virtual clothing: from garment design to web3d visualization and simulation
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
Luca Chittaro, Demis Corvaglia
TROB
2002
88views more  TROB 2002»
13 years 7 months ago
Gripper point contacts for part alignment
-- The initial resting pose of many industrial parts differs from the orientation desired for assembly. We show that it is possible to align parts during grasping using a standard ...
Mike Tao Zhang, Ken Goldberg
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
13 years 8 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...