Sciweavers

294 search results - page 33 / 59
» isca 2003
Sort
View
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 3 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ISCAS
2003
IEEE
132views Hardware» more  ISCAS 2003»
14 years 3 months ago
Characterization of a simple communication network using Legendre transform
We describe an application of the Legendre transform to communication networks. The Legendre transform applied to max-plus algebra linear systems corresponds to the Fourier transf...
Takashi Hisakado, Kohshi Okumura, Vladimir Vukadin...
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
14 years 3 months ago
Secure data hiding in binary document images for authentication
In this paper, we present a data hiding algorithm for binary document images. This algorithm is based on the DistanceReciprocal Distortion Measure [1] that is used to evaluate the...
Haiping Lu, Alex C. Kot, Jun Cheng
ISCAS
2003
IEEE
156views Hardware» more  ISCAS 2003»
14 years 3 months ago
GNOMES: a testbed for low power heterogeneous wireless sensor networks
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...
Erik Welsh, Walt Fish, J. Patrick Frantz
ISCAS
2003
IEEE
126views Hardware» more  ISCAS 2003»
14 years 3 months ago
High-speed processor for quantum-computing emulation and its applications
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
Minoru Fujishima, Kaoru Saito, M. Onouchi, Koichir...