Search Sciweavers | Sciweavers

4502 search results - page 51 / 901

» Regular Model Checking

142

click to vote

SIAMDM
2008

105views more SIAMDM 2008»

Average Spectra and Minimum Distances of Low-Density Parity-Check Codes over Abelian Groups

15 years 4 months ago

Download mit.edu

Ensembles of regular low-density parity-check codes over any finite Abelian group G are studied. The nonzero entries of the parity matrix are randomly chosen, independently and uni...

Giacomo Como, Fabio Fagnani

claim paper

Read More »

130

click to vote

TASE
2008
IEEE

93views Software Engineering» more TASE 2008»

Bounded Model Checking of Compositional Processes

15 years 10 months ago

Download www.comp.nus.edu.sg

Veriﬁcation techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing S...

claim paper

Read More »

140

click to vote

SIGSOFT
1996
ACM

107views Software Engineering» more SIGSOFT 1996»

Model Checking Large Software Specifications

15 years 8 months ago

Download www.cs.washington.edu

In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...

Richard J. Anderson, Paul Beame, Steve Burns, Will...

claim paper

Read More »

119

Voted

GLVLSI
2005
IEEE

94views VLSI» more GLVLSI 2005»

Digital cell macro-model with regular substrate template and EKV based MOSFET model

15 years 10 months ago

Download www.ece.sunysb.edu

Yulei Weng, Alex Doboli

claim paper