Sciweavers

637 search results - page 10 / 128
» Inconsistency-Tolerant Integrity Checking
Sort
View
JUCS
2007
108views more  JUCS 2007»
14 years 9 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
14 years 7 months ago
Efficient power grid integrity analysis using on-the-fly error check and reduction
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
Duo Li, Sheldon X.-D. Tan, Ning Mi, Yici Cai
ICEIS
2007
IEEE
15 years 3 months ago
Inter-enterprise System and Application Integration: A Reality Check
This paper structures the summary of the panel held at the 9th International Conference on Enterprise Information Systems, Funchal, Madeira, 12-16 June 2007 that addressed the foll...
Jorge Cardoso, Wil M. P. van der Aalst, Christoph ...
DATE
2008
IEEE
124views Hardware» more  DATE 2008»
15 years 3 months ago
Logic Synthesis with Nanowire Crossbar: Reality Check and Standard Cell-based Integration
Nanowire crossbar is one of the most promising circuit solutions for nanoelectronics. We show nanowire crossbars do not scale well in terms of logic density and speed. We conseque...
Mian Dong, Lin Zhong
CCS
2009
ACM
15 years 4 months ago
Mapping kernel objects to enable systematic integrity checking
Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, M...