Sciweavers

39 search results - page 5 / 8
» Competitive algorithms for VWAP and limit order trading
Sort
View
ICTAI
2002
IEEE
14 years 1 months ago
Maintenance Scheduling of Oil Storage Tanks Using Tabu-Based Genetic Algorithm
Due to the entry of Taiwan into WTO and the recently liberalized Petroleum Management Law, the oil market in Taiwan is liberalized and thus is becoming more competitive. However, ...
Sheng-Tun Li, Chuan-Kang Ting, Chungnan Lee, Shu-C...
FMCAD
2000
Springer
14 years 6 days ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
GD
1998
Springer
14 years 25 days ago
Drawing Large Graphs with H3Viewer and Site Manager
We demonstrate the H3Viewer graph drawing library, which can be run from a standalone program or in conjunction with other programs such as SGI's Site Manager application. Our...
Tamara Munzner
ASPDAC
2007
ACM
124views Hardware» more  ASPDAC 2007»
14 years 18 days ago
BddCut: Towards Scalable Symbolic Cut Enumeration
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
STOC
2001
ACM
151views Algorithms» more  STOC 2001»
14 years 9 months ago
Buffer overflow management in QoS switches
Abstract. We consider two types of buffering policies that are used in network switches supporting Quality of Service (QoS). In the FIFO type, packets must be transmitted in the or...
Alexander Kesselman, Zvi Lotker, Yishay Mansour, B...