Sciweavers

4041 search results - page 28 / 809
» time 2009
Sort
View
ICCAD
2009
IEEE
126views Hardware» more  ICCAD 2009»
14 years 7 months ago
Timing Arc based logic analysis for false noise reduction
The problem of calculating accurate impact of crosstalk on a circuit considering its inherent logic and timing properties is very complex. Although it has been widely studied, it ...
Murthy Palla, Jens Bargfrede, Stephan Eggersgl&uum...
FOSSACS
2009
Springer
15 years 4 months ago
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
Parosh Aziz Abdulla, Richard Mayr
WMCSA
2009
IEEE
15 years 4 months ago
Sharing airtime with Shair avoids wasting time and money
Shair is a system allowing contracted mobile phone users to benefit from their unused quota minutes and text messages. Unused minutes and texts are shared via opportunistic local...
Pan Hui, Richard Mortier, Kuang Xu, Jon Crowcroft,...
73
Voted
ISAAC
2009
Springer
108views Algorithms» more  ISAAC 2009»
15 years 4 months ago
Linear and Sublinear Time Algorithms for Basis of Abelian Groups
It is well known that every finite abelian group G can be represented as a direct product of cyclic groups: G ∼= G1 × G2 × · · · × Gt, where each Gi is a cyclic group of ...
Li Chen, Bin Fu
72
Voted
IWPEC
2009
Springer
15 years 4 months ago
An Exponential Time 2-Approximation Algorithm for Bandwidth
The bandwidth of a graph G on n vertices is the minimum b such that the vertices of G can be labeled from 1 to n such that the labels of every pair of adjacent vertices differ by ...
Martin Fürer, Serge Gaspers, Shiva Prasad Kas...