7421 search results - page 1338 / 1485 » In search of dependable design |
188
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
We address the problem of minimizing power consumption in behavioral synthesis of data-dominated circuits. The complex nature of power as a cost function implies that the effects ...
195
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
Urban street-parking availability statistics are challenging to obtain in real-time but would greatly benefit society by reducing traffic congestion. In this paper we present the ...
210
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
177
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
I report briefly on some of my own work in each of these areas and elucidate some of the questions that this research has raised. Then I propose as a research agenda the developme...
215
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...