Search results for "T-Check"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Stephan ten Brink, Gerhard Kramer, Alexei E. Ashikhmin	Design of low-density parity-check codes for modulation and detection.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
15	Weijun Tan, J. R. Cruz	Performance evaluation of low-density parity-check codes on partial-response channels using density evolution.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
15	Stefania Sesia, Giuseppe Caire, Guillaume Vivier	Incremental redundancy hybrid ARQ schemes based on low-density parity-check codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
15	James S. Plank, Michael G. Thomason	A Practical Analysis of Low-Density Parity-Check Erasure Codes for Wide-Area Storage Applications.	DSN	2004	DBLP DOI BibTeX RDF
15	Katsuhiko Ueda, Hirotoshi Maegawa, Ken'ichi Matsuo	Automatic Extraction of Filled-In Items from Bank-Check Images.	Document Analysis Systems	2004	DBLP DOI BibTeX RDF
15	Dong-U Lee, Wayne Luk, Connie Wang, Christopher R. Jones 0001, Michael Smith 0020, John D. Villasenor	A Flexible Hardware Encoder for Low-Density Parity-Check Codes.	FCCM	2004	DBLP DOI BibTeX RDF
15	Li Zhuang, Ta Bao, Xiaoyan Zhu 0001, Chunheng Wang, Satoshi Naoi	A Chinese OCR spelling check approach based on statistical language models.	SMC (5)	2004	DBLP DOI BibTeX RDF
15	Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama	Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms.	GECCO (2)	2004	DBLP DOI BibTeX RDF
15	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS.	FSTTCS	2004	DBLP DOI BibTeX RDF
15	Vladik Kreinovich, Luc Longpré, James J. Buckley	Are There Easy-to-Check Necessary and Sufficient Conditions for Straightforward Interval Computations To Be Exact?	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
15	Martin Leopold, Mads Bondo Dydensborg, Philippe Bonnet	Bluetooth and sensor networks: a reality check.	SenSys	2003	DBLP DOI BibTeX RDF	mac layer, network self-assembly, bluetooth, sensor nodes
15	Ivana Djurdjevic, Jun Xu 0004, Khaled A. S. Abdel-Ghaffar, Shu Lin 0001	A Class of Low-Density Parity-Check Codes Constructed Based on Reed-Solomon Codes with Two Information Symbols.	AAECC	2003	DBLP DOI BibTeX RDF
15	Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002	Proof Search and Proof Check for Equational and Inductive Theorems.	CADE	2003	DBLP DOI BibTeX RDF	proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant
15	Anand Selvarathinam, Euncheol Kim, Gwan Choi	Low-Density Parity-Check Decoder Architecture for High Throughput Optical Fiber Channels.	ICCD	2003	DBLP DOI BibTeX RDF	LDPC Decoder, Serial Architecture, Hardware Scaling, VLSI, Parallel Architecture, Fibre Channel
15	Anand Selvarathinam, Gwan Choi, Krishna Narayanan, Achal Prabhakar, Euncheol Kim	A massively scaleable decoder architecture for low-density parity-check codes.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
15	Mohammad M. Mansour, Naresh R. Shanbhag	Architecture-aware low-density parity-check codes.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
15	Meng Lieh Sheu, Tai Ping Sun, Chi Wen Lu, Mon Chau Shie	The fault detection of cross-check test scheme for infrared FPA.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
15	Shao-hui Sun, Jun-hong Hui, Xinmei Wang	Performance of Low-Density Parity-Check Codes with16-QAM in Fading Channels.	AINA	2003	DBLP DOI BibTeX RDF	multilevel coding, Rayleigh fading, LDPC codes
15	Jain Jang, Kwiju Kim, Yillbyung Lee	Efficient Algorithm of Eye Image Check for Robust Iris Recognition System.	CAIP	2003	DBLP DOI BibTeX RDF
15	Ronny Frevert, Steffen Rülke, Torsten Schäfer, Frank Dresig	Use of HDL Code Checkers to Support the IP Entrance Check - A Requirement Analysis.	DSD	2002	DBLP DOI BibTeX RDF
15	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Transforming Processes to Check and Ensure Information Flow Security.	AMAST	2002	DBLP DOI BibTeX RDF
15	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri	Using Standard Verifier to Check Secure Information Flow in Java Bytecode.	COMPSAC	2002	DBLP DOI BibTeX RDF
15	Cheng Li, Weinong Wang	Internet Mail Transfer and Check System Based on Intelligence Mobile Agents.	SAINT	2002	DBLP DOI BibTeX RDF	Mail Flooding, Mobile Agents, SPAM
15	Matthias Pflanz, Karsten Walther, Christian Galke, Heinrich Theodor Vierhaus	On-Line Error Detection and Correction in Storage Elements with Cross-Parity Check.	IOLTW	2002	DBLP DOI BibTeX RDF
15	Matthias Pflanz, Heinrich Theodor Vierhaus	Online Check and Recovery Techniques for Dependable Embedded Processors.	IEEE Micro	2001	DBLP DOI BibTeX RDF
15	Hee Yong Youn, Choong Gun Oh, Hyunseung Choo, Jin-Wook Chung, Dongman Lee	An Efficient Algorithm-Based Fault Tolerance Design Using the Weighted Data-Check Relationship.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Hamming correcting code, VLSI processor array, Algorithm-based fault tolerance, overflow, matrix computations, round-off error
15	M. L. Yu, Paul C. K. Kwok, Cheung H. Leung, K. W. Tse 0001	Segmentation and recognition of Chinese bank check amounts.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Bank checks processing, Chinese legal amount, Segmentation, Handwriting recognition
15	Jarek Gryz, K. Bernhard Schiefer, Jian Zheng, Calisto Zuzarte	Discovery and Application of Check Constraints in DB2.	ICDE	2001	DBLP DOI BibTeX RDF
15	Chris J. Howland, Andrew J. Blanksby	Parallel decoding architectures for low density parity check codes.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
15	Tong Zhang 0002, Zhongfeng Wang, Keshab K. Parhi	On finite precision implementation of low density parity check codes decoder.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
15	David Saad, Yoshiyuki Kabashima, Tatsuto Murayama, Renato Vicente	Statistical Physics of Low Density Parity Check Error Correcting Codes.	IMACC	2001	DBLP DOI BibTeX RDF
15	Paola Inverardi, Henry Muccini, Patrizio Pelliccione	Automated Check of Architectural Models Consistency Using SPIN.	ASE	2001	DBLP DOI BibTeX RDF
15	Cheng-Hsing Yang, Sao-Jie Chen, Jan-Ming Ho, Chia-Chun Tsai	Efficient routability check algorithms for segmented channel routing.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	field programmable gate arryas (FPGAs), segmented channel, routing
15	Mohammad Amin Shokrollahi	An Introduction to Low-Density Parity-Check Codes.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
15	Valery A. Vardanian, Liana B. Mirzoyan	Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check.	DATE	2000	DBLP DOI BibTeX RDF
15	Jens Schönherr, Bernd Straube	Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.	DATE	2000	DBLP DOI BibTeX RDF
15	Andreia de Jesus, Jacques Facon	Segmentation of Brazilian Bank Check Logos without a Priori Knowledge.	ITCC	2000	DBLP DOI BibTeX RDF
15	Stéphane Ducasse, Tamar Richner, Robb Nebbe	Type-Check Elimination: Two Object-Oriented Reengineering Patterns.	WCRE	1999	DBLP DOI BibTeX RDF	Object-Oriented, Patterns, Refactorings, Reengineering
15	Salim Djeziri, Fathallah Nouboud, Réjean Plamondon	Extraction of signatures from check background based on a filiformity criterion.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
15	Thien M. Ha, Guido Kaufmann, Matthias Zimmermann, Horst Bunke	Handwriting recognition for a postal check reading system.	KES (1)	1997	DBLP DOI BibTeX RDF
15	Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar	A Novel BIST Architecture With Built-in Self Check.	VLSI Design	1996	DBLP DOI BibTeX RDF
15	Richard Taylor 0002	An Integrity Check Value Algorithm for Stream Ciphers.	CRYPTO	1993	DBLP DOI BibTeX RDF
15	Jien-Chung Lo, Suchai Thanawastien, T. R. N. Rao, Michael Nicolaidis	An SFS Berger check prediction ALU and its application to self-checking processor designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
15	Nicoletta De Francesco, Paola Inverardi	A Semantic Driven Method to Check the Finiteness of CCS Processes.	CAV	1991	DBLP DOI BibTeX RDF
15	Henry C. Thacher Jr.	A redundancy check for ALGOL programs.	Commun. ACM	1962	DBLP DOI BibTeX RDF
13	Maithili Narasimha, John Solis, Gene Tsudik	Privacy-preserving revocation checking.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Privacy-preserving revocation checking, Anonymity and privacy, Certificate revocation trees, Revocation, Certificate revocation lists
13	Shi Cheng, Matthew C. Valenti, Don J. Torrieri	Coherent continuous-phase frequency-shift keying: Parameter optimization and code design.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
13	Yi Shi 0001, Y. Thomas Hou 0001, Jia Liu 0002, Sastry Kompella	How to correctly use the protocol interference model for multi-hop wireless networks.	MobiHoc	2009	DBLP DOI BibTeX RDF	physical model, multi-hop wireless network, cross-layer optimization, interference modeling, protocol model
13	Kai Yang 0001, Xiaodong Wang 0001, Jon Feldman	A New Linear Programming Approach to Decoding Linear Block Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
13	Ajay Dholakia, Evangelos Eleftheriou, Xiao-Yu Hu, Ilias Iliadis, Jai Menon 0001, K. K. Rao	A new intra-disk redundancy scheme for high-reliability RAID storage systems in the presence of unrecoverable errors.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	File and I/O systems, stochastic modeling, RAID, reliability analysis
13	Xiaofu Wu, Xiaohu You 0001, Chunming Zhao	A necessary and sufficient condition for determining the girth of quasi-cyclic LDPC codes.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
13	Renqiu Wang, Wanlun Zhao, Georgios B. Giannakis	CRC-assisted error correction in a convolutionally coded system.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
13	Sridhar Karuppasami, William G. Cowley, Steven S. Pietrobon	LDPC Code Construction and Iterative Receiver Techniques for Channels with Phase Noise.	VTC Spring	2008	DBLP DOI BibTeX RDF
13	Cheng-Zhou Zhan, Xin-Yu Shih, An-Yeu Wu	High-performance scheduling algorithm for partially parallel LDPC decoder.	ICASSP	2008	DBLP DOI BibTeX RDF
13	Matthias Werner 0001, Michael A. Jaeger, Helge Parzyjegla	An Application of the (max, +) Algebra to Information Flow Security.	ICN	2008	DBLP DOI BibTeX RDF	maxplus, security, information flow, lattice model
13	Francesco Regazzoni 0001, Thomas Eisenbarth 0001, Luca Breveglieri, Paolo Ienne, Israel Koren	Can Knowledge Regarding the Presence of Countermeasures Against Fault Attacks Simplify Power Attacks on Cryptographic Devices?.	DFT	2008	DBLP DOI BibTeX RDF
13	Wen-Chao Yang, Che-Yen Wen, Chung-Hao Chen	Applying Public-Key Watermarking Techniques in Forensic Imaging to Preserve the Authenticity of the Evidence.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Integrity, Public-key Cryptography, Digital Image, Credibility, Digital Image Forensic
13	Jaydeb Bhaumik, Dipanwita Roy Chowdhury, Indrajit Chakrabarti	An Improved Double Byte Error Correcting Code Using Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	Byte Error Correcting Code, RS Code and VLSI, Cellular Automata
13	Bella Bose, Samir Elmougy, Luca G. Tallini	Systematic t-Unidirectional Error-Detecting Codes over Zm.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	encoder, decoder, error detection codes, unidirectional errors, Asymmetric errors
13	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the preservation of temporal properties upon feature integration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Feature, State-explosion problem, Property preservation
13	Marsha Chechik, Arie Gurfinkel	A framework for counterexample generation and exploration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
13	Hamid Saeedi, Amir H. Banihashemi	Performance of Belief Propagation for Decoding LDPC Codes in the Presence of Channel Estimation Error.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
13	Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono	DHTML Accessibility Checking Based on Static JavaScript Analysis.	HCI (7)	2007	DBLP DOI BibTeX RDF	DHTML accessibility, JavaScript, Static program analysis
13	Zhenyuan Gao, Zesong Fei, Jingming Kuang 0001, Lei Wan	Rate-Compatible Schemes for Link Adapted LDPC Codes in IEEE 802.16e Standard.	VTC Spring	2007	DBLP DOI BibTeX RDF
13	Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001	The Validation and Verification of WSCDL.	APSEC	2007	DBLP DOI BibTeX RDF	WSCDL, Verification, Validation
13	Khaled ElMahgoub, Mohammed Nafie	On the Enhancement of LDPC Codes in the IEEE 802.16 Physical Layer.	ICC	2007	DBLP DOI BibTeX RDF
13	Naomi Fujimura, Jin Mei	Implementation of file interpolation detection system.	SIGUCCS	2007	DBLP DOI BibTeX RDF	file interpolation, security, management, web server
13	Jing Zhou, Guosun Zeng	Validity Checking On Grid Service Composition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
13	Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat 0001	A Property-Driven Approach to Formal Verification of Process Models.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Properties Validation, Temporal OCL, Models Semantics, Verification, Petri Nets, Process Model, Model Transformation, Metamodelling, LTL
13	Jin Lin, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai	Recovery code generation for general speculative optimizations.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	Recovery code, multi-level data speculation, speculative SSA form
13	Moshe Schwartz 0001, Alexander Vardy	On the stopping distance and the stopping redundancy of codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
13	Lami Kaya, Mohammad Al-Qudah	Debugging Trellis Decoding of Augmented RAC Array Codes Using a Visual Tool.	CGIV	2006	DBLP DOI BibTeX RDF
13	Ganesh Srinivasan, Friedrich Taenzler, Abhijit Chatterjee	Online RF checkers for diagnosing multi-gigahertz automatic test boards on low cost ATE platforms.	DATE	2006	DBLP DOI BibTeX RDF
13	Ken-ichi Makino, Hideyasu Hirano	Design of RT-PCR Primers Based on Informational Method.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
13	Masayuki Hirayama, Katsumi Ohno, Nao Kawai, Kichiro Tamaru, Hiroshi Monden	An Effective Source Code Review Process for Embedded Software.	PROFES	2006	DBLP DOI BibTeX RDF
13	Denis Meron, Bruno Mermet	A Tool Architecture to Verify Properties of Multiagent System at Runtime.	PROMAS	2006	DBLP DOI BibTeX RDF
13	Ahmad Darabiha, Anthony Chan Carusone, Frank R. Kschischang	A bit-serial approximate min-sum LDPC decoder and FPGA implementation.	ISCAS	2006	DBLP DOI BibTeX RDF
13	Hiroyuki Ohde, Haruhiko Kaneko, Eiji Fujiwara	Low-Density Triple-Erasure Correcting Codes for Dependable Distributed Storage Systems.	DFT	2006	DBLP DOI BibTeX RDF
13	Jin Sha, Minglun Gao, Zhongjin Zhang, Li Li 0003, Zhongfeng Wang 0001	An FPGA Implementation of Array LDPC Decoder.	APCCAS	2006	DBLP DOI BibTeX RDF
13	Vladik Kreinovich	Optimal Finite Characterization of Linear Problems with Inexact Data.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
13	Giorgio Nunzi, Jürgen Quittek, Marcus Brunner	Scalable fault management for mobile networks beyond 3G.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
13	Ofer Strichman, Benny Godlin	Regression Verification - A Practical Way to Verify Programs.	VSTTE	2005	DBLP DOI BibTeX RDF
13	Nihal Pekergin, Sana Younès	Stochastic Model Checking with Stochastic Comparison.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
13	Doron Rotem, Kurt Stockinger, Kesheng Wu	Optimizing I/O Costs of Multi-dimensional Queries Using Bitmap Indices.	DEXA	2005	DBLP DOI BibTeX RDF
13	Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud	On-the-Fly Emptiness Checks for Generalized Büchi Automata.	SPIN	2005	DBLP DOI BibTeX RDF
13	Ming Qi, Xianjun Huang	The design and analysis of three-dimensional e-business model.	ICEC	2005	DBLP DOI BibTeX RDF	e-policy, three-dimensional EC, three-dimensional model
13	Andrew D. Gordon 0001	From Typed Process Calculi to Source-Based Security.	SAS	2005	DBLP DOI BibTeX RDF
13	Keith B. Frikken, Mikhail J. Atallah, Chen Zhang	Privacy-preserving credit checking.	EC	2005	DBLP DOI BibTeX RDF	privacy, e-commerce, secure protocol, secure multi-party computation
13	Torsten Palm	Semantic Tags: Evaluating the Functioning of Rules in a Knowledge Based System.	KES (2)	2005	DBLP DOI BibTeX RDF
13	Seung-Jae Yoo	Core Technology Analysis and Development for the Virus and Hacking Prevention.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
13	Regimantas Pliuskevicius, Aida Pliuskeviciene	Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.	CLIMA	2005	DBLP DOI BibTeX RDF
13	Stefan Brass, Christian Goldberg	Proving the Safety of SQL Queries.	QSIC	2005	DBLP DOI BibTeX RDF	Runtime Errors, SQL, Consistency
13	Amir Roth	Store Vulnerability Window (SVW): Re-Execution Filtering for Enhanced Load Optimization.	ISCA	2005	DBLP DOI BibTeX RDF
13	Marsha Chechik, Arie Gurfinkel	A Framework for Counterexample Generation and Exploration.	FASE	2005	DBLP DOI BibTeX RDF
13	Steffen Tarnick	Design of Embedded Self-Testing Checkers for t-UED and BUED Codes.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	t-unidirectional error detecting (t-UED) codes, burst unidirectional error detecting (BUED) codes, averaging circuits, embedded checkers, self-testing checkers
13	Robert Michael Tanner, Deepak Sridhara, Arvind Sridharan, Thomas E. Fuja, Daniel J. Costello Jr.	LDPC block and convolutional codes based on circulant matrices.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
13	Knud Henriksen, Jon Sporring, Kasper Hornbæk	Virtual Trackballs Revisited.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	Virtual trackball, arcball, 2D mouse, usability review, mathematical foundation, 3D rotation
13	Nicola Leone, Francesco Scarcello, V. S. Subrahmanian	Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, nonmonotonic reasoning, optimization problems, Disjunctive logic programming
13	Masoud Ardakani, Frank R. Kschischang	A more accurate one-dimensional analysis and design of irregular LDPC codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
13	Jin Lin, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai	A Compiler Framework for Recovery Code Generation in General Speculative Optimizations.	IEEE PACT	2004	DBLP DOI BibTeX RDF