Search results for "T-Check"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	Virtual Precedence in Asynchronous Systems: Cencept and Applications.	WDAG	1997	DBLP DOI BibTeX RDF	Virtual Precedence, Check-pointing, Causality, Partial Order, Logical Clocks
15	Mario Blaum, Jehoshua Bruck, Ludo M. G. M. Tolhuizen	A Note on "A Systematic (12, 8) Code for Correcting Single Errors and Detecting Adjacent Errors".	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	systematic (12,8) binary code, single error correction, adjacent error detection, parity check matrix, double adjacent errors, 4-bit nibbles, error pair, error correction codes, error detection codes
15	Mao Chao Lin	Constant Weight Codes for Correcting Symmetric Errors and Detecting Unidirectional Errors.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	quasi-systematic form, systematic form, t-EC/AUED codes, error correction codes, detecting, correcting, errors, error detection codes, error-control coding, unidirectional errors, constant weight codes, parity check, symmetric errors, codewords
15	Ramesh K. Sitaraman, Niraj K. Jha	Optimal Design of Checks for Error Detection and Location in Fault-Tolerant Multiprocessor Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	error location, optimal design of checks, fault-tolerant multiprocessor systems, RANDGEN, arbitrary data-check, majority diagnosability, UNIFGEN, uniform checks, fault tolerant computing, multiprocessing systems, error detection, error detection, algorithm-based fault tolerance
15	Rajiv Gupta 0001	Optimizing Array Bound Checks Using Flow Analysis.	LOPLAS	1993	DBLP DOI BibTeX RDF	available checks, check hoisting, very busy checks, dataflow analysis
15	Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu	Logical Inference of Horn Clauses in Petri Net Models.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
15	Bella Bose, Sulaiman Al-Bassam	Byte Unidirectional Error Correcting and Detecting Codes.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	byte unidirectional error detecting codes, byte unidirectional error correcting codes, check bits, asymmetric error correction, double byte unidirectional errors, lower bound, error correction codes, error detection codes, decoding algorithms, encoding algorithms
15	Michelle Y. Kim	Synchronized Disk Interleaving.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	synchronous interleaving, Check-sum disk, M/G/1 queueing model, parallel I/O transfer, simplified control, interleaving
15	Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou	Systematic t-Error Correcting/All Unidirectional Error Detecting Codes.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	parity check codes, t-EC/AUED codes, error detection, error correction, transient faults, unidirectional errors, permanent faults, Concatenated codes, symmetric errors
15	Merav Chlamtac, Itzchak Harary	The Shift X Parity Watch Algorithm for Raster Scan Displays.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	real-time picture generation, parity check filling, priority handling, raster display, Computer graphics
15		Cyclic Redundancy Check (CRC).	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
15	Wen-Ching Winnie Li, Min Lu, Chenying Wang	Recent Developments in Low-Density Parity-Check Codes.	IWCC	2009	DBLP DOI BibTeX RDF
15	Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur	On-the-fly Emptiness Check of Transition-Based Streett Automata.	ATVA	2009	DBLP DOI BibTeX RDF
15	Michel Banâtre, Fabien Allard, Paul Couderc	Ubi-Check: A Pervasive Integrity Checking System.	NEW2AN	2009	DBLP DOI BibTeX RDF
15	Gong Chen, Liu Qi, Huijuan Cui, Kun Tang	Switch-Type Hybrid Hard Decision Decoding Algorithms for Regular Low-Density Parity-Check Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
15	Milos Ivkovic, Shashi Kiran Chilappagari, Bane Vasic	Eliminating Trapping Sets in Low-Density Parity-Check Codes by Using Tanner Graph Covers.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
15	Saeed Sharifi Tehrani, Christophe Jégo, Bo Zhu, Warren J. Gross	Stochastic Decoding of Linear Block Codes With High-Density Parity-Check Matrices.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
15	Kui Cai 0001, Kees A. Schouhamer Immink	A general construction of constrained parity-check codes for optical recording.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
15	Gerardo Vega	On the Number of Two-Weight Cyclic Codes with Composite Parity-Check Polynomials.	WAIFI	2008	DBLP DOI BibTeX RDF	One-weight cyclic codes, two-weight cyclic codes
15	Grigorios Tsagkatakis, Michalis E. Zervakis, Andreas E. Savakis	Multiple description based image transmission with Low Density Parity Check codes.	ICIP	2008	DBLP DOI BibTeX RDF
15	Frank Kienle, Norbert Wehn	Macro Interleaver Design for Bit Interleaved Coded Modulation with Low-Density Parity-Check Codes.	VTC Spring	2008	DBLP DOI BibTeX RDF
15	Wenjun Wang, Xiaoguang Wu, Xiaoxuan Zhu, Guixia Kang, Xiaofeng Tao	A 223Mbps FPGA Implementation of (10240, 5120) Irregular Structured Low Density Parity Check Decoder.	VTC Spring	2008	DBLP DOI BibTeX RDF
15	Yu-Cheng He, Christian Cardinal, David Haccoun	A Class of Low-Density Parity-Check Convolutional Codes Based on Difference Families.	ICC	2008	DBLP DOI BibTeX RDF
15	Christine M. Feeney, Michael Heilman	Automatically Generating and Validating Reading-Check Questions.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	question generation, language tutoring, reading comprehension
15	Toshihiko Okamura	A Hybrid ARQ Scheme Based on Shortened Low-Density Parity-Check Codes.	WCNC	2008	DBLP DOI BibTeX RDF
15	Xiaodong Deng, Mengtian Rong, Tao Liu 0032, Yong Yuan, Dan Yu	Segmented Cyclic Redundancy Check: A Data Protection Scheme for Fast Reading RFID Tag's Memory.	WCNC	2008	DBLP DOI BibTeX RDF
15	Daesun Oh, Keshab K. Parhi	Nonuniformly quantized min-sum decoder architecture for low-density parity-check codes.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	finite word-length, ldpc decoder, min-sum (MS), nonuniform quantization
15	Chitra Balakrishna, Khalid Al-Begain	A reality check on sip-based streaming applications on the next generation mobile test network.	COMSWARE	2008	DBLP DOI BibTeX RDF
15	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	MSPC	2008	DBLP DOI BibTeX RDF	garbage collection, memory leaks, managed languages
15	Javier Garcia-Frías, Kejing Liu	Design of near-optimum quantum error-correcting codes based on generator and parity-check matrices of LDGM codes.	CISS	2008	DBLP DOI BibTeX RDF
15	Jianwen Zhang, Marc André Armand, Yan Xin 0001	Design of low density parity check codes for AWGN channels with causal interference.	CISS	2008	DBLP DOI BibTeX RDF
15	Jun Hu, Tolga M. Duman	Low Density Parity Check Codes over Wireless Relay Channels.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
15	Gerald Weisser, Stephan Ruggiero, Alain Runa, Christoph Düber, Wolfgang Neff, Michael Walz	Online Availability Check of Teleradiology Components.	J. Digit. Imaging	2007	DBLP DOI BibTeX RDF	availability, e-mail, DICOM, Teleradiology
15	Arnab Chakrabarti, Alexandre de Baynast, Ashutosh Sabharwal, Behnaam Aazhang	Low density parity check codes for the relay channel.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
15	Hossein Pishro-Nik, Faramarz Fekri	Results on Punctured Low-Density Parity-Check Codes and Improved Iterative Decoding Techniques.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
15	Sunghwan Kim, Jong-Seon No, Habong Chung, Dong-Joon Shin	Quasi-Cyclic Low-Density Parity-Check Codes With Girth Larger Than 12.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
15	Lei Xiao, Thomas E. Fuja, Jörg Kliewer, D. Costello Razaghi, Wei Yu	Bilayer Low-Density Parity-Check Codes for Decode-and-Forward in Relay Channels.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
15	Nedeljko Varnica, Marc P. C. Fossorier, Aleksandar Kavcic	Augmented Belief Propagation Decoding of Low-Density Parity Check Codes.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
15	Pirouz Zarrinkhat, Amir H. Banihashemi	Hybrid Hard-Decision Iterative Decoding of Irregular Low-Density Parity-Check Codes.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
15	Hua Xiao 0003, Amir H. Banihashemi	Estimation of Bit and Frame Error Rates of Finite-Length Low-Density Parity-Check Codes on Binary Symmetric Channels.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
15	Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy	Aggregating changes to efficiently check consistency.	IWPSE	2007	DBLP DOI BibTeX RDF
15	Thanh Dang Nguyen, Fang-Chun Kuo, Lie-Liang Yang, Lajos Hanzo	Amalgamated Generalized Low Density Parity Check and Luby Transform Codes for the Wireless Internet.	VTC Spring	2007	DBLP DOI BibTeX RDF
15	Osamu Muta, Yoshihiko Akaiwa	Peak Power Reduction Method Based on Structure of Parity-Check Matrix for LDPC Coded OFDM Transmission.	VTC Spring	2007	DBLP DOI BibTeX RDF
15	Sunghoon Choi, You-Chul Shin, Jun Heo, Kihyoung Cho, Minseok Oh	Effective Puncturing Schemes for Block-type Low-Density Parity-Check Codes.	VTC Spring	2007	DBLP DOI BibTeX RDF
15	Zahid Khan, Tughrul Arslan	Pipelined implementation of a real time programmable encoder for low density parity check code on a reconfigurable instruction cell architecture.	DATE	2007	DBLP DOI BibTeX RDF
15	Pierre Georgel, Pierre Schroeder, Selim Benhimane, Stefan Hinterstoisser, Mirko Appel, Nassir Navab	An Industrial Augmented Reality Solution For Discrepancy Check.	ISMAR	2007	DBLP DOI BibTeX RDF
15	Marco Baldi, Franco Chiaraluce, Roberto Garello, Francesco Mininni	Quasi-Cyclic Low-Density Parity-Check Codes in the McEliece Cryptosystem.	ICC	2007	DBLP DOI BibTeX RDF
15	Li-Der Jeng, Jen-Hou Huang, Chung-Hsuan Wang	Performance of low-density parity-check coded FFH/BFSK systems under band multitone jamming.	IWCMC	2007	DBLP DOI BibTeX RDF	FFH/BFSK, band multitone jamming, LDPC
15	Zahid Khan, Tughrul Arslan	Implementation of a Real Time Programmable Encoder for Low Density Parity Check Code on a Reconfigurable Instruction Cell Architecture.	ASP-DAC	2007	DBLP DOI BibTeX RDF
15	Souheib Baarir, Alexandre Duret-Lutz	Emptiness Check of Powerset Buchi Automata using Inclusion Tests.	ACSD	2007	DBLP DOI BibTeX RDF
15	Hon Fung Li, Eslam Al Maghayreh	Using synchronized atoms to check distributed programs.	ICPADS	2007	DBLP DOI BibTeX RDF
15	Richard Y. M. Li, Oscar C. Au, Kelvin K. Lai, Carman K. M. Yuk, Sui-Yuk Lam	Data Hiding with Tree Based Parity Check.	ICME	2007	DBLP DOI BibTeX RDF
15	Ming Su, Lili Zhou, C.-J. Richard Shi	Maximizing the throughput-area efficiency of fully-parallel low-density parity-check decoding with C-slow retiming and asynchronous deep pipelining.	ICCD	2007	DBLP DOI BibTeX RDF
15	Lili Zhou, Cherry Wakayama, Robin Panda, Nuttorn Jangkrajarng, Bo Hu, C.-J. Richard Shi	Implementing a 2-Gbs 1024-bit 1/2-rate low-density parity-check code decoder in three-dimensional integrated circuits.	ICCD	2007	DBLP DOI BibTeX RDF
15	Stephanie Sahuguede, Anne Julien-Vergonjanne, Jean-Pierre Cances	Performance of Optical CDMA Systems with Low Density Parity Check Codes.	ICSNC	2007	DBLP DOI BibTeX RDF
15	Sun-Myung Hwang	A Vulnerability Check in System Block.	MUE	2007	DBLP DOI BibTeX RDF
15	Tarek El Kiki	mGovernment: A Reality Check.	ICMB	2007	DBLP DOI BibTeX RDF
15	Li Wang 0013, Gil I. Shamir, Joseph Boutros	Universal Context Based Decoding with Non-systematic Low-Density Parity-Check Codes.	CISS	2007	DBLP DOI BibTeX RDF
15	Ge Li, Ivan J. Fair, Witold A. Krzymien	Low-density parity-check codes for space-time wireless transmission.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
15	Jeongseok Ha, Jaehong Kim 0008, Demijan Klinc, Steven W. McLaughlin	Rate-compatible punctured low-density parity-check codes with short block lengths.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
15	Juntan Zhang, Marc P. C. Fossorier	Mean Field and Mixed Mean Field Iterative Decoding of Low-Density Parity-Check Codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
15	Hossein Pishro-Nik, Faramarz Fekri	Performance of low-density parity-check codes with linear minimum distance.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
15	Changyan Di, Thomas J. Richardson, Rüdiger L. Urbanke	Weight Distribution of Low-Density Parity-Check Codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
15	Xiang Pan, Aysegul Cuhadar, Amir H. Banihashemi	Combined source and channel coding with JPEG2000 and rate-compatible low-density Parity-check codes.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
15	Saied Hemati, Amir H. Banihashemi	Dynamics and performance analysis of analog iterative decoding for low-density parity-check (LDPC) codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
15	Ilan Sutskover, Shlomo Shamai	Iterative decoding of low-density Parity-check codes over compound channels.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
15	G. Farhadi, Seyed Hamaidreza Jamali	Performance Analysis of Fiber-Optic BPPM CDMA Systems With Single Parity-Check Product Codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
15	Nedeljko Varnica, Marc P. C. Fossorier, Aleksandar Kavcic	Augmented Belief-Propagation Decoding of Low-Density Parity-Check Codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
15	Bo Dong, Lin Xie, Peiliang Qiu, Qinru Qiu	Low-Density Parity-Check Coded Distributed Space-Time Cooperative System.	VTC Spring	2006	DBLP DOI BibTeX RDF
15	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié	Efficient lumpability check in partially symmetric systems.	QEST	2006	DBLP DOI BibTeX RDF
15	Meine van der Meulen, Miguel A. Revilla	Experiences with the Design of a Run-Time Check.	SAFECOMP	2006	DBLP DOI BibTeX RDF
15	Arnaud Sahuguet, Stefan Brands, Kim Cameron, Conor P. Cahill, Aude Pichelin, Fulup Ar Foll, Mike Neuenschwander	Identity management on converged networks: a reality check.	WWW	2006	DBLP DOI BibTeX RDF
15	Alexandre Genon, Thierry Massart, Cédric Meuter	Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.	FM	2006	DBLP DOI BibTeX RDF	testing of asynchronous distributed systems, global properties, model checking of traces, monitor
15	Li-Der Jeng, Shun-Sheng Lee, Chung-Hsuan Wang, Fang-Biau Ueng	Low-density parity-check codes for FFH/BFSK systems with partial-band noise jamming.	IWCMC	2006	DBLP DOI BibTeX RDF	FFH/BFSK, diversity combining, partial-band noise jamming, LDPC
15	Lili Zhou, Cherry Wakayama, Nuttorn Jangkrajarng, Bo Hu, C.-J. Richard Shi	A high-throughput low-power fully parallel 1024-bit 1/2-rate low density parity check code decoder in 3-dimensional integrated circuits.	ASP-DAC	2006	DBLP DOI BibTeX RDF
15	Daesun Oh, Keshab K. Parhi	Low Complexity Implementations of Sum-Product Algorithm for Decoding Low-Density Parity-Check Codes.	SiPS	2006	DBLP DOI BibTeX RDF
15	Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh	Applying flow-sensitive CQUAL to verify MINIX authorization check placement.	PLAS	2006	DBLP DOI BibTeX RDF	CQUAL, static analysis, type qualifiers, MINIX
15	Hyundo Park, Heejo Lee	Detecting Unknown Worms Using Randomness Check.	ICOIN	2006	DBLP DOI BibTeX RDF
15	Yige Li, Kanglin Xie, Tao Hao	Combining Couvreur's Algorithm with Bitstate-Hashing for Emptiness Check.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
15	Hossein Pishro-Nik, Nazanin Rahnavard, Faramarz Fekri	Nonuniform error correction using low-density parity-check codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
15	Michael Luby, Michael Mitzenmacher	Verification-based decoding for packet-based low-density parity-check codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
15	Sundararajan Sankaranarayanan, Bane Vasic	Iterative Decoding of Linear Block Codes: A Parity-Check Orthogonalization Approach.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
15	Andrew W. Eckford, Frank R. Kschischang, Subbarayan Pasupathy	Analysis of low-density parity-check codes for the Gilbert-Elliott channel.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
15	Jianguang Zhao, Farhad Zarkeshvari, Amir H. Banihashemi	On implementation of min-sum algorithm and its modifications for decoding low-density Parity-check (LDPC) codes.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
15	Jilei Hou, Paul H. Siegel, Laurence B. Milstein	Design of multi-input multi-output systems based on low-density Parity-check codes.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
15	Wongkot Vijacksungsithi, Kim A. Winick	Joint channel-state estimation and decoding of low-density parity-check codes on the two-state noiseless/useless BSC block interference channel.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
15	Jing Sun, Oscar Y. Takeshita	On maximum-length linear congruential-sequences-based low-density parity-check codes.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
15	Jun Xu 0004, Lei Chen 0008, Lingqi Zeng, Lan Lan 0005, Shu Lin 0001	Construction of low-density parity-check codes by superposition.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
15	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	Expand, Enlarge and Check... Made Efficient.	CAV	2005	DBLP DOI BibTeX RDF
15	Lei Yang 0019, Manyuan Shen, Hui Liu 0011, C.-J. Richard Shi	An FPGA implementation of low-density parity-check code decoder with multi-rate capability.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Thomas Raimbault, David Genest, Stéphane Loiseau	A New Method to Interrogate and Check UML Class Diagrams.	ICCS	2005	DBLP DOI BibTeX RDF
15	Jean-Nicolas Bès, Philippe Jégou	Proving Graph Un-Colorability with a Consistency Check of CSP.	ICTAI	2005	DBLP DOI BibTeX RDF
15	Sang-Min Kim, Jun Tang, Keshab K. Parhi	Quasi-cyclic low-density parity-check coded multi-band-OFDM UWB systems.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
15	Stephen Bates, Gary Block	A memory-based architecture for FPGA implementations of low-density parity-check convolutional decoders.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
15	Ramkrishna Swamy, Stephen Bates, Tyler L. Brandon	Architectures for ASIC implementations of low-density parity-check convolutional encoders and decoders.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
15	Hyun-Soo Park, Kyung-Woo Kang	Evaluation of Strings in Computer Go Using Articulation Points Check and Seki Judgment.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
15	Lei Chen 0008, Jun Xu 0004, Ivana Djurdjevic, Shu Lin 0001	Near-Shannon-limit quasi-cyclic low-density parity-check codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
15	Pirouz Zarrinkhat, Amir H. Banihashemi	Threshold values and convergence properties of majority-based algorithms for decoding regular low-density parity-check codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
15	Ahmed Nouh, Amir H. Banihashemi	Reliability-based schedule for bit-flipping decoding of low-density Parity-check codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
15	Javier Garcia-Frías	Decoding of low-density parity-check codes over finite-state binary Markov channels.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF