Search Sciweavers | Sciweavers

4502 search results - page 51 / 901

» Regular Model Checking

click to vote

SIAMDM
2008

105views more SIAMDM 2008»

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

13 years 9 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 »

click to vote

TASE
2008
IEEE

93views Software Engineering» more TASE 2008»

Bounded Model Checking of Compositional Processes

14 years 4 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 »

click to vote

SIGSOFT
1996
ACM

107views Software Engineering» more SIGSOFT 1996»

Model Checking Large Software Specifications

14 years 2 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 »

click to vote

GLVLSI
2005
IEEE

94views VLSI» more GLVLSI 2005»

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

14 years 3 months ago

Download www.ece.sunysb.edu

Yulei Weng, Alex Doboli

claim paper

Read More »