Sciweavers

380 search results - page 46 / 76
» A Categorical Setting for Lower Complexity
Sort
View
DAC
1997
ACM
15 years 1 months ago
System-Level Synthesis of Low-Power Hard Real-Time Systems
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
Darko Kirovski, Miodrag Potkonjak
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
14 years 11 months ago
Simple coding for achieving mean square stability over bit-rate limited channels
The problem of characterizing lower bounds on data-rates needed for closed loop stability has been solved in a variety of settings. However, the available results lead to coding s...
Eduardo I. Silva, Milan S. Derpich, Jan Øst...
FM
2008
Springer
148views Formal Methods» more  FM 2008»
14 years 11 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
ALGORITHMICA
2010
159views more  ALGORITHMICA 2010»
14 years 9 months ago
Computing the Greedy Spanner in Near-Quadratic Time
It is well-known that the greedy algorithm produces high quality spanners and therefore is used in several applications. However, for points in d-dimensional Euclidean space, the g...
Prosenjit Bose, Paz Carmi, Mohammad Farshi, Anil M...
DM
2008
50views more  DM 2008»
14 years 9 months ago
Searching monotone multi-dimensional arrays
A d-dimensional array of real numbers is called monotone increasing if its entries are increasing along each dimension. Given An,d, a monotone increasing d-dimensional array with ...
Yongxi Cheng, Xiaoming Sun, Yiqun Lisa Yin