Sciweavers

4330 search results - page 598 / 866
» Analyzing security architectures
Sort
View
ICPR
2000
IEEE
16 years 8 months ago
Image Recognition on the Neural Network Based on Multi-Valued Neurons
Multi-valued neurons are the neural processing elements with complex-valued weights, huge functionality (it is possible to implement on the single neuron arbitrary mapping describ...
Igor N. Aizenberg, Naum N. Aizenberg, Constantine ...
DAC
1998
ACM
16 years 8 months ago
Approximation and Decomposition of Binary Decision Diagrams
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple...
DAC
2000
ACM
16 years 8 months ago
Performance analysis and optimization of latency insensitive systems
Latency insensitive design has been recently proposed in literature as a way to design complex digital systems, whose functional behavior is robust with respect to arbitrary varia...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
DAC
2000
ACM
16 years 8 months ago
Fast methods for extraction and sparsification of substrate coupling
The sudden increase in systems-on-a-chip designs has renewed interest in techniques for analyzing and eliminating substrate coupling problems. Previous work on the substrate coupl...
Joe Kanapka, Joel R. Phillips, Jacob White
DAC
2000
ACM
16 years 8 months ago
Impact of interconnect variations on the clock skew of a gigahertz microprocessor
Due to the large die sizes and tight relative clock skew margins, the impact of interconnect manufacturing variations on the clock skew in today's gigahertz microprocessors c...
Ying Liu, Sani R. Nassif, Lawrence T. Pileggi, And...