Sciweavers

3974 search results - page 629 / 795
» Metric Functional Dependencies
Sort
View
ISCAS
2007
IEEE
130views Hardware» more  ISCAS 2007»
16 years 25 days ago
Classes of stochastically switched (blinking) systems
—It is investigated to what extent the trajectories of a stochastically switched (blinking) system follow the corresponding trajectories of the averaged system. Four cases have t...
Martin Hasler, Igor Belykh, Vladimir N. Belykh
VTS
2007
IEEE
143views Hardware» more  VTS 2007»
16 years 24 days ago
RTL Test Point Insertion to Reduce Delay Test Volume
In this paper, a novel test point insertion methodology is presented for RTL designs that aims to reduce the data volume of scan-based transition delay tests. Test points are iden...
Kedarnath J. Balakrishnan, Lei Fang
APN
2007
Springer
16 years 22 days ago
Improving Static Variable Orders Via Invariants
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqi...
ATAL
2007
Springer
16 years 22 days ago
Emergence of global network property based on multi-agent voting model
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...
Kousuke Shinoda, Yutaka Matsuo, Hideyuki Nakashima
ATC
2007
Springer
16 years 22 days ago
Enhancing Grid Security Using Trusted Virtualization
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
Hans Löhr, HariGovind V. Ramasamy, Ahmad-Reza...