Sciweavers

270 search results - page 10 / 54
» Industry Standards from Accellera
Sort
View
PGLDB
2003
131views Database» more  PGLDB 2003»
15 years 1 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»
14 years 11 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
15 years 5 months 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»
14 years 11 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»
15 years 29 days 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...