Sciweavers

5562 search results - page 831 / 1113
» Implementing Parallel Cell-DEVS
Sort
View
200
Voted
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 10 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
WEBI
2001
Springer
15 years 10 months ago
A Fast Image-Gathering System on the World-Wide Web Using a PC Cluster
Abstract. Thanks to the recent explosive progress of WWW (WorldWide Web), we can easily access a large number of images from WWW. There are, however, no established methods to make...
Keiji Yanai, Masaya Shindo, Kohei Noshita
148
Voted
ISLPED
2000
ACM
111views Hardware» more  ISLPED 2000»
15 years 10 months ago
Low power techniques and design tradeoffs in adaptive FIR filtering for PRML read channels
In this paper, we describe area and power reduction techniques for a low-latency adaptive finite-impulse response filter for magnetic recording read channel applications. Variou...
Khurram Muhammad, Robert B. Staszewski, Poras T. B...
EH
1999
IEEE
122views Hardware» more  EH 1999»
15 years 10 months ago
The MorphoSys Dynamically Reconfigurable System-on-Chip
MorphoSys is a system-on-chip which combines a RISC processor with an array of reconfigurable cells. The important features of MorphoSys are coarse-grain granularity, dynamic reco...
Guangming Lu, Hartej Singh, Ming-Hau Lee, Nader Ba...
140
Voted
ACISP
1999
Springer
15 years 10 months ago
On the Symmetric Property of Homogeneous Boolean Functions
We use combinatorial methods and permutation groups to classify homogeneous boolean functions. The property of symmetry of a boolean function limits the size of the function’s cl...
Chengxin Qu, Jennifer Seberry, Josef Pieprzyk