Sciweavers

108 search results - page 22 / 22
» bell 2007
Sort
View
AGTIVE
2007
Springer
14 years 2 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe
TSP
2010
13 years 5 months ago
Communications-inspired sensing: a case study on waveform design
Information theory, and particularly the mutual information (MI), has provided fundamental guidance for communications research. In Bell's 1993 paper, the MI was first applied...
Wenshu Zhang, Liuqing Yang
ECCC
2007
147views more  ECCC 2007»
13 years 10 months ago
Inapproximability of edge-disjoint paths and low congestion routing on undirected graphs
In the undirected Edge-Disjoint Paths problem with Congestion (EDPwC), we are given an undirected graph with V nodes, a set of terminal pairs and an integer c. The objective is to...
Matthew Andrews, Julia Chuzhoy, Venkatesan Guruswa...