4074 search results - page 393 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
189
click to vote
CSDA
2006
15 years 6 months ago
2006
The three-mode partitioning model is a clustering model for three-way three-mode data sets that implies a simultaneous partitioning of all three modes involved in the data. In the...
204
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
163
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we propose a novel parameterized interconnect order reduction algorithm, CORE, to efficiently capture both inter-die and intra-die variations. CORE applies a two-ste...
156
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
165
click to vote
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper, a de-interlacing technique using motion compensated interpolation is proposed. In the proposed scheme motion estimation is first performed between the same parity f...