1329 search results - page 92 / 266 » Constraint-based model synthesis |
112
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
126
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
134
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
134
click to vote
IPCO
2001
15 years 5 months ago
2001
We investigate network design under volatile conditions of link failures and traffic overload. Our model is a non-simultaneous 2-commodity problem. We characterize the feasible so...
124
click to vote
TIT
2002
15 years 4 months ago
2002
We consider the problem of estimating the feedback coefficients of a linear feedback shift register (LFSR) based on noisy observations. In the current approach, the coefficients a...