165 search results - page 18 / 33 » The Complexity of Guarding Terrains |
110
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
120
click to vote
PIMRC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—This paper proposes a new iterative channel estimation algorithm for known symbol padding (KSP) Orthogonal Frequency Division Multiplexing (OFDM) based on the Expectatio...
111
click to vote
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
-- In interconnect-dominated designs, the ability to minimize layout-induced parasitic effects is crucial for rapid design closure. Deep sub-micron effects and ubiquitous interfere...
116
click to vote
SAS
2005
Springer
15 years 7 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
122
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...