Sciweavers

309 search results - page 10 / 62
» Optimizing production work flow using OpEMCSS
Sort
View
DAC
2006
ACM
14 years 8 months ago
Timing-driven Steiner trees are (practically) free
Traditionally, rectilinear Steiner minimum trees (RSMT) are widely used for routing estimation in design optimizations like floorplanning and physical synthesis. Since it optimize...
Charles J. Alpert, Andrew B. Kahng, Cliff C. N. Sz...
CCR
1998
128views more  CCR 1998»
13 years 7 months ago
OSI distributed transaction processing commitment optimizations
: This paper briefly summarizes the work towards the final version of ‘Distributed Transaction Processing’ (OSI TP). Several well-known optimizations of the presumed abort prot...
Richard Banks, Peter Furniss, Klaus Heien, Hans-R&...
POPL
2007
ACM
14 years 7 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might
WSC
2007
13 years 10 months ago
Measuring manufacturing throughput using takt time analysis and simulation
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
Jun Duanmu, Kevin Taaffe
VIS
2004
IEEE
174views Visualization» more  VIS 2004»
14 years 8 months ago
A Graphics Hardware-Based Vortex Detection and Visualization System
Feature detection in flow fields is a well researched area, but practical application is often difficult due to the numerical complexity of the algorithms preventing interactive u...
Simon Stegmaier, Thomas Ertl