Sciweavers

7262 search results - page 530 / 1453
» Reversible Computer Hardware
Sort
View
149
Voted
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
15 years 9 months ago
MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
Per Bjuréus, Axel Jantsch
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
15 years 9 months ago
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit
MSE
2000
IEEE
110views Hardware» more  MSE 2000»
15 years 9 months ago
Nobel Successive Elimination Algorithms for the Estimation of Motion Vectors
In this paper, we present fast algorithms to reduce the computations of block matching algorithms for motion estimation in video coding. Nobel Successive Elimination Algorithms fo...
Soo-Mok Jung, Sung-Chul Shin, Hyunki Baik, Myong-S...
MSS
2000
IEEE
96views Hardware» more  MSS 2000»
15 years 9 months ago
APRIL: A Run-Time Library for Tape-Resident Data
Over the last decade, processors have made enormous gains in speed. But increase in the speed of the secondary and tertiary storage devices could not cope with these gains. The re...
Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhar...
144
Voted
DAC
1999
ACM
15 years 9 months ago
Vex - A CAD Toolbox
The increasing size and complexity of designs is making the use of hardware description languages (HDLs), such as Verilog and VHDL, more prevalent. They are able to describe both ...
Jules P. Bergmann, Mark Horowitz