1528 search results - page 52 / 306 » Performance Assertion Checking |
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
– Classic Low-Density Parity-Check (LDPC) codes have recently been used as component codes in Multilevel Coding (MLC) due to their impressive BER performance as well as owing to ...
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
GLOBECOM
2007
IEEE
13 years 10 months ago
2007
IEEE
Abstract—It is generally believed harmful to have transmission errors in the wireless communications. The high decoding complexity of dense parity check codes is unfavorable. Thi...
ENTCS
2008
13 years 9 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...