5964 search results - page 827 / 1193 » A theory of speculative computation |
166
click to vote
DSN
2002
IEEE
16 years 17 days ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
196
click to vote
DSN
2002
IEEE
16 years 17 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
192
click to vote
FOCS
2002
IEEE
16 years 17 days ago
2002
IEEE
We obtain a near-tight bound of O(n3+ε ), for any ε > 0, on the complexity of the overlay of the minimization diagrams of two collections of surfaces in four dimensions. This...
202
click to vote
GLVLSI
2002
IEEE
16 years 17 days ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
224
click to vote
HPCA
2002
IEEE
16 years 17 days ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...