Sciweavers

99 search results - page 2 / 20
» Detecting Traffic Problems with ILP
Sort
View
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
13 years 11 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva
GLOBECOM
2009
IEEE
13 years 11 months ago
Power Efficient Traffic Grooming in Optical WDM Networks
Abstract--Power-awareness in networking attracts more attention as the trends in the energy consumption of the Internet raise growing concerns about the environmental impacts and s...
Emre Yetginer, George N. Rouskas
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
14 years 27 days ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
CN
2010
88views more  CN 2010»
13 years 7 months ago
Two-link failure protection in WDM mesh networks with p-cycles
In WDM networks, it is important to protect connections against link failures due to the high bandwidth provided by a fiber link. Although many p-cycle based schemes have been pro...
Taiming Feng, Long Long, Ahmed E. Kamal, Lu Ruan
ICDE
2009
IEEE
125views Database» more  ICDE 2009»
14 years 9 months ago
Temporal Outlier Detection in Vehicle Traffic Data
Outlier detection in vehicle traffic data is a practical problem that has gained traction lately due to an increasing capability to track moving vehicles in city roads. In contrast...
Xiaolei Li, Zhenhui Li, Jiawei Han, Jae-Gil Lee