12981 search results - page 543 / 2597 » Model Checking (Abstract) |
190
click to vote
ENTCS
2008
15 years 7 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
183
click to vote
JCP
2006
15 years 6 months ago
2006
Abstract-- Some non-coding small RNAs, known as microRNAs (miRNAs), have been shown to play important roles in gene regulation and various biological processes. The abnormal expres...
176
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
196
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...
123
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--We present a pilotless frame synchronization approach that exploits feedback from a low-density parity-check (LDPC) code decoder. The synchronizer is based on syndrome ch...