Sciweavers

380 search results - page 46 / 76
» A Categorical Setting for Lower Complexity
Sort
View
DAC
1997
ACM
15 years 4 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
86
Voted
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
15 years 1 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»
15 years 1 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 12 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 12 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