ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A production based system for formal verification of digital signal processing architectures
Proceedings of 27th Asilomar Conference on Signals, Systems and Computers
◽
10.1109/acssc.1993.342291
◽
2002
◽
Cited By ~ 5
Author(s):
K.M. Elleithy
◽
M.A. Aref
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Formal Verification
◽
Digital Signal
◽
Processing Architectures
Download Full-text
Related Documents
Cited By
References
Metrics for Digital Signal Processing Architectures Characterization: Remanence and Scalability
Lecture Notes in Computer Science - Computer Systems: Architectures, Modeling, and Simulation
◽
10.1007/978-3-540-27776-7_14
◽
2004
◽
pp. 128-137
Author(s):
Pascal Benoit
◽
Gilles Sassatelli
◽
Lionel Torres
◽
Didier Demigny
◽
Michel Robert
◽
...
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
Processing Architectures
Download Full-text
General Purpose Digital Signal Processing Architectures for Radar
10.21236/ad0724685
◽
1971
◽
Author(s):
B. Gold
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
General Purpose
◽
Processing Architectures
Download Full-text
Arithmetic built-in self-test for digital signal processing architectures
Proceedings of the IEEE 1995 Custom Integrated Circuits Conference
◽
10.1109/cicc.1995.518267
◽
2002
◽
Cited By ~ 12
Author(s):
S. Adham
◽
M. Kassab
◽
N. Mukherjee
◽
K. Radecka
◽
J. Rajski
◽
...
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
Self Test
◽
Built In Self Test
◽
Processing Architectures
Download Full-text
VLSI Design Methodologies for Digital Signal Processing Architectures
10.1007/978-1-4615-2762-6
◽
1994
◽
Cited By ~ 4
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Vlsi Design
◽
Digital Signal
◽
Design Methodologies
◽
Processing Architectures
Download Full-text
Scheduling and task allocation for parallel digital signal processing architectures
10.1109/icassp.1989.266984
◽
2003
◽
Cited By ~ 1
Author(s):
K. Konstantinides
◽
R.T. Kaneshiro
◽
J.R. Tani
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Task Allocation
◽
Digital Signal
◽
Processing Architectures
◽
And Task
Download Full-text
Analysis of the structural efficiency of digital signal processing algorithms and their implementation on parallel processing architectures
10.1109/milcom.1990.117617
◽
2002
◽
Author(s):
P.W. Lee
◽
S. Davidovici
Keyword(s):
Signal Processing
◽
Parallel Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
Structural Efficiency
◽
Signal Processing Algorithms
◽
Processing Algorithms
◽
Processing Architectures
Download Full-text
Parallel digital signal processing architectures for image processing
10.1117/12.190876
◽
1994
◽
Author(s):
Shirish P. Kshirsagar
◽
David A. Hartley
◽
David M. Harvey
◽
Clifford A. Hobson
Keyword(s):
Image Processing
◽
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
Processing Architectures
Download Full-text
Probabilistic Power Estimation for Digital Signal Processing Architectures
Lecture Notes in Computer Science - Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
◽
10.1007/3-540-45716-x_46
◽
2002
◽
pp. 458-467
Author(s):
Achim Freimann
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
Power Estimation
◽
Processing Architectures
Download Full-text
Dynamically Reconfigurable Embedded Architecture-An Alternative To Application-Specific Digital Signal Processing Architectures
Journal of Computer Science
◽
10.3844/jcssp.2007.823.828
◽
2007
◽
Vol 3
(10)
◽
pp. 823-828
◽
Cited By ~ 2
Author(s):
N. Ramadass
◽
S. Natarajan
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
◽
Dynamically Reconfigurable
◽
Embedded Architecture
◽
Processing Architectures
◽
Application Specific
Download Full-text
15.1 Digital signal processing to identify atrial events in pacemakers
EP Europace
◽
10.1016/s1099-5129(02)90111-x
◽
2003
◽
Vol 4
◽
pp. A25
Author(s):
N VANHEMEL
Keyword(s):
Signal Processing
◽
Digital Signal Processing
◽
Digital Signal
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close