2496 search results - page 279 / 500 » On covering by translates of a set |
184
click to vote
ATS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
160
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
207
click to vote
IDEAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...
204
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a semi-fragile object-based authentication solution for MPEG4 video. To protect the integrity of the video objects / sequences, a content-based watermark is em...
161
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...