Sciweavers

1040 search results - page 73 / 208
» Revenue maximization through
Sort
View
ESA
2004
Springer
95views Algorithms» more  ESA 2004»
15 years 10 months ago
An Improved Algorithm for CIOQ Switches
Abstract. The problem of maximizing the weighted throughput in various switching settings has been intensively studied recently through competitive analysis. To date, the most gene...
Yossi Azar, Yossi Richter
ICUMT
2009
15 years 2 months ago
Heuristic algorithms for finding reliable lightpath under multiple failures
In this work, we study the NP-hard problem of maximizing lightpath reliability in optical mesh networks against simultaneous failures of multiple fiber links. The fiber links belo...
Shengli Yuan, William Waller, Ermelinda DeLa Vi&nt...
CAV
2012
Springer
257views Hardware» more  CAV 2012»
13 years 7 months ago
CSolve: Verifying C with Liquid Types
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
Patrick Maxim Rondon, Alexander Bakst, Ming Kawagu...
ISCAS
2008
IEEE
138views Hardware» more  ISCAS 2008»
15 years 11 months ago
High-speed adaptive RF phased array
— We demonstrate dynamic power maximization and synchronization of a wireless RF communication link through adaptation of the radiation pattern of a phased array at the transmitt...
Dimitrios N. Loizos, Paul-Peter Sotiriadis, Gert C...
ICDE
2006
IEEE
207views Database» more  ICDE 2006»
16 years 6 months ago
Automatic Sales Lead Generation from Web Data
Speed to market is critical to companies that are driven by sales in a competitive market. The earlier a potential customer can be approached in the decision making process of a p...
Ganesh Ramakrishnan, Sachindra Joshi, Sumit Negi, ...