Sciweavers

5762 search results - page 321 / 1153
» R-tree: A Hardware Implementation
Sort
View
ASPDAC
2004
ACM
71views Hardware» more  ASPDAC 2004»
16 years 5 days ago
Golay and wavelet error control codes in VLSI
– This paper presents a high speed VLSI implementation of wavelet and golay error control codes. The design has been fabricated by MOSIS in a TSMC 0.25 µm CMOS process. Experime...
Arunkumar Balasundaram, Angelo Pereira, Jun-Cheol ...
CAV
2004
Springer
101views Hardware» more  CAV 2004»
16 years 4 days ago
Symbolic Model Checking of Non-regular Properties
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
Martin Lange
GLVLSI
2000
IEEE
92views VLSI» more  GLVLSI 2000»
15 years 11 months ago
SPARTA: Simulation of Physics on a Real-Time Architecture
Abstract - In this paper, we discuss hardware acceleration for real-time physical modeling that would allow for realistic virtual environments. Additionally, we propose algorithms ...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...
DAGSTUHL
2006
15 years 8 months ago
Fault Jumping Attacks against Shrinking Generator
In this paper we outline two cryptoanalytic attacks against hardware implementation of the shrinking generator by Coppersmith et al., a classic design in low-cost, simple-design p...
Marcin Gomulkiewicz, Miroslaw Kutylowski, Pawel Wl...
ETS
2000
IEEE
126views Hardware» more  ETS 2000»
15 years 6 months ago
Dynamic Goal-Based Role-Play Simulation on the Web: A Case Study
This paper outlines and discusses the pedagogical approach, the technical design architecture, and an innovative implementation of a collaborative role-play simulation technology ...
Som Naidu, Albert Ip, Roni Linser