Search results for "T-Check"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Yinhe Han 0001, Yu Hu 0001, Huawei Li 0001, Xiaowei Li 0001, Anshuman Chandra	Response Compaction for Test Time and Test Pins Reduction Based on Advanced Convolutional Codes.	DFT	2004	DBLP DOI BibTeX RDF
13	Xin Wang, Ji Wang 0001, Zhi-Chang Qi	Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.	FORTE	2004	DBLP DOI BibTeX RDF
13	In-Ho Moon, Carl Pixley	Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.	FMCAD	2004	DBLP DOI BibTeX RDF
13	Kai Pan, E. James Whitehead Jr., Guozheng Ge	Hypertext versioning for embedded link models.	Hypertext	2004	DBLP DOI BibTeX RDF	HTML versioning, containment model, hypertext versioning, link versioning, structure versioning, SCM, version control system
13	William Adams, Warren A. Hunt Jr., Damir Jamsek	Verisym: Verifying Circuits by Symbolic Simulation.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	circuit extraction, formal property checking, memory verification, symbolic simulation
13	Ping-Yu Hsu 0001, Yuan-Bin Chang, Yen-Liang Chen	STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	spatial-temporal relations, two-phase firing conditions, valid firing sequences, relative coordination, multimedia, Petri Net
13	Zhijun Wang 0001, Mohan Kumar, Sajal K. Das 0001, Huaping Shen	Investigation of Cache Maintenance Strategies for Multi-cell Environments.	Mobile Data Management	2003	DBLP DOI BibTeX RDF
13	Tim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss	Applications of Abduction: Testing Very Long Qualitative Simulations.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	complexity, Validation, abduction, qualitative reasoning
13	Yuji Watanabe, Masayuki Numao	Conditional Cryptographic Delegation for P2P Data Sharing.	ISC	2002	DBLP DOI BibTeX RDF
13	Hiroshi Takahashi, Kewal K. Saluja, Yuzo Takamatsu	An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets.	PRDC	2002	DBLP DOI BibTeX RDF
13	Emmett Witchel, Samuel Larsen, C. Scott Ananian, Krste Asanovic	Direct addressed caches for reduced power consumption.	MICRO	2001	DBLP DOI BibTeX RDF
13	Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello	Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems.	WICSA	2001	DBLP DOI BibTeX RDF
13	Karthikeyan Bhargavan, Satish Chandra 0001, Peter J. McCann, Carl A. Gunter	What packets may come: automata for network monitoring.	POPL	2001	DBLP DOI BibTeX RDF	TCP/IP
13	João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo	Feedback Control of the Software Test Process Through Measurements of Software Reliability.	ISSRE	2001	DBLP DOI BibTeX RDF
13	Vassilis Christophides, Richard Hull 0001, Akhil Kumar 0001	Querying and Splicing of XML Workflows.	CoopIS	2001	DBLP DOI BibTeX RDF
13	Paul Oprisan, Bella Bose	ARQ in Optical Networks.	PRDC	2001	DBLP DOI BibTeX RDF
13	Cecilia Metra, Jien-Chung Lo	Intermediacy Prediction for High Speed Berger Code Checkers.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	self-checking circuits, checkers, Berger code
13	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
13	Rajeev Goré, Lan Duy Nguyen	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF	security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
13	Sorin Cotofana, Ben H. H. Juurlink, Stamatis Vassiliadis	Counter Based Superscalar Instruction Issuing.	EUROMICRO	2000	DBLP DOI BibTeX RDF
13	Prasanta K. Bose	Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.	ASE	1999	DBLP DOI BibTeX RDF	Model Checking, UML, Architecture, Security Protocol, Model Translation
13	Ravi Kumar 0001, D. Sivakumar 0001	Proofs, Codes, and Polynomial-Time Reducibilities.	CCC	1999	DBLP DOI BibTeX RDF	reducibilities, proof systems, partial solutions
13	Enrico Macii, Bernard Plessier, Fabio Somenzi	Formal verification of digital systems by automatic reduction of data paths.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
13	D. A. Pierce, Parag K. Lala	Modular implementation of efficient self-checking checkers for the Berger code.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	conventional Berger code, 1's counters, fully-testable circuits, partitioning, CMOS technology, totally self-checking checkers, Berger code
13	Erwin M. Thurner	Proving System Properties by Means of Trigger-Graph and Petri Nets.	EUROCAST	1995	DBLP DOI BibTeX RDF	hardware protocol, trigger graph, verification, Petri nets, Formal description, timing diagram, bus protocol
13	Norbert Kehrer, Gustaf Neumann	Treating Enhanced Entity Relationship Models in a Declarative Style.	RCLP	1991	DBLP DOI BibTeX RDF
13	Yuichi Saitoh, Hideki Imai	Constructions of Codes Correcting Burst Asymmetric Errors.	AAECC	1990	DBLP DOI BibTeX RDF
13	Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto	Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking.	ISCA	1989	DBLP DOI BibTeX RDF	LISP
13	Donald A. B. Lindberg	In praise of computing.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
13	Norihisa Suzuki	Analysis of Pointer Rotation.	POPL	1980	DBLP DOI BibTeX RDF
13	Graeme Williams	Program checking.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
11	Debendra Das Sharma, Swadesh Choudhary	Pipelined and Partitionable Forward Error Correction and Cyclic Redundancy Check Circuitry Implementation for PCI Express 6.0 and Compute Express Link 3.0.	IEEE Micro	2024	DBLP DOI BibTeX RDF
11	Yimin Yin	Information Security and Risk Control Model Based on Plan-Do-Check-Action for Digital Libraries.	J. Cyber Secur. Mobil.	2024	DBLP DOI BibTeX RDF
11	Ping Wang, Qiang Yang, Yangheng Hu, Jian Xiong, Yong Jia, Dequan Guo	A Novel Voting Model Based on Parity Check Equations for Blind Detection of M-Sequences.	IEEE Access	2024	DBLP DOI BibTeX RDF
11	Hend K. Gedawy, Khaled A. Harras, Thang Bui, Temoor Tanveer	Toward Context-Aware Federated Learning Assessment: A Reality Check.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
11	Chengxu Liu, Zongyang Da, Yuanzhi Liang, Yao Xue, Guoshuai Zhao, Xueming Qian	Split-Check: Boosting Product Recognition via Instance-Level Retrieval.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
11	Shuai Xu, Xiaoming Fu 0001, Dechang Pi, Zhuo Ma	Inferring Individual Human Mobility From Sparse Check-in Data: A Temporal-Context-Aware Approach.	IEEE Trans. Comput. Soc. Syst.	2024	DBLP DOI BibTeX RDF
11	Nour Chahrour, Christophe Bérenguer, Jean-Marc Tacnet	Incorporating cascading effects analysis in the maintenance policy assessment of torrent check dams against torrential floods.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
11	Qingping Yu, You Zhang, Renze Luo, Longye Wang, Xingwang Li	Parity-Check Polarization-Adjusted Convolutional Coding.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
11	Pedro Reviriego, Jim Apple, Alvaro Alonso, Otmar Ertl, Niv Dayan	Cardinality Estimation Adaptive Cuckoo Filters (CE-ACF): Approximate Membership Check and Distinct Query Count for High-Speed Network Monitoring.	IEEE/ACM Trans. Netw.	2024	DBLP DOI BibTeX RDF
11	Zhu Sun, Yu Lei, Lu Zhang, Chen Li, Yew-Soon Ong, Jie Zhang 0002	A Multi-channel Next POI Recommendation Framework with Multi-granularity Check-in Signals.	ACM Trans. Inf. Syst.	2024	DBLP DOI BibTeX RDF
11	Qiang Gao, Hongzhu Fu, Kunpeng Zhang, Goce Trajcevski, Xu Teng, Fan Zhou 0002	Inferring Real Mobility in Presence of Fake Check-ins Data.	ACM Trans. Intell. Syst. Technol.	2024	DBLP DOI BibTeX RDF
11	Karan Sotoodeh	Case study for failure analysis and prevention in subsea axial check valves used on chemical injection lines.	Int. J. Syst. Assur. Eng. Manag.	2024	DBLP DOI BibTeX RDF
11	Weidong Cheng	On Parity-Check Matrices of Twisted Generalized Reed-Solomon Codes.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
11	Dongxu Chang, Qingqing Peng, Guanghui Wang 0002, Dawei Yin	Density Evolution Analysis of Generalized Low-density Parity-check Codes under a Posteriori Probability Decoder.	CoRR	2024	DBLP DOI BibTeX RDF
11	Hessam Mahdavifar	High-Rate Fair-Density Parity-Check Codes.	CoRR	2024	DBLP DOI BibTeX RDF
11	Romy Müller, Maria Pohl	Information acquisition in Adapt/Exchange decisions: When do people check alternative solution principles?	CoRR	2024	DBLP DOI BibTeX RDF
11	Edrina Gashi, Jiankang Deng, Ismail Elezi	Deep Active Learning: A Reality Check.	CoRR	2024	DBLP DOI BibTeX RDF
11	Cristina Fernández-Córdoba, Adrián Torres, Carlos Vela, Mercè Villanueva	Computing efficiently a parity-check matrix for Zps-additive codes.	CoRR	2024	DBLP DOI BibTeX RDF
11	Sungmin Cha, Kyunghyun Cho	Hyperparameters in Continual Learning: a Reality Check.	CoRR	2024	DBLP DOI BibTeX RDF
11	Pratyusha Sharma, Tamar Rott Shaham, Manel Baradad, Stephanie Fu, Adrián Rodríguez-Muñoz, Shivam Duggal, Phillip Isola, Antonio Torralba 0001	A Vision Check-up for Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
11	Che Zhang, Zhenyang Xiao, Chengcheng Han 0004, Yixin Lian, Yuejian Fang	Learning to Check: Unleashing Potentials for Self-Correction in Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
11	Linhao Ye, Zhikai Lei, Jianghao Yin, Qin Chen, Jie Zhou, Liang He 0001	Boosting Conversational Question Answering with Fine-Grained Retrieval-Augmentation and Self-Check.	CoRR	2024	DBLP DOI BibTeX RDF
11	Ermes Franch, Chunlei Li 0001	Bounded-degree Low Rank Parity Check Codes.	CoRR	2024	DBLP DOI BibTeX RDF
11	Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf	Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection.	CoRR	2024	DBLP DOI BibTeX RDF
11	Qiangeng Yang, Tess Christensen, Shlok Gilda, Juliana Fernandes, Daniela Oliveira 0001	Are Fact-Checking Tools Reliable? An Evaluation of Google Fact Check.	CoRR	2024	DBLP DOI BibTeX RDF
11	Shengwei Xu, Yichi Zhang 0003, Paul Resnick, Grant Schoenebeck	Spot Check Equivalence: an Interpretable Metric for Information Elicitation Mechanisms.	CoRR	2024	DBLP DOI BibTeX RDF
11	Xi Wang, Ruoqing Zhao, Hongliang Dai, Piji Li	An Empirical Investigation of Domain Adaptation Ability for Chinese Spelling Check Models.	CoRR	2024	DBLP DOI BibTeX RDF
11	Yugo Murawaki	Principal Component Analysis as a Sanity Check for Bayesian Phylolinguistic Reconstruction.	CoRR	2024	DBLP DOI BibTeX RDF
11	Isaac Corley, Caleb Robinson, Anthony Ortiz	A Change Detection Reality Check.	CoRR	2024	DBLP DOI BibTeX RDF
11	Hao Li, Gopi Krishnan Rajbahadur, Dayi Lin, Cor-Paul Bezemer, Zhen Ming Jiang	Keeping Deep Learning Models in Check: A History-Based Approach to Mitigate Overfitting.	CoRR	2024	DBLP DOI BibTeX RDF
11	Mi Lim Lee, Chuljin Park, Dong Uk Park	Corrigendum to 'Self-adjusting the tolerance level in a fully sequential feasibility check procedure' [European Journal of Operational Research, Volume 272, Issue 2, December 2018, Pages 733-745].	Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
11	Lena Raupach, Cassandra Königs	PharmoCo: a graph-based visualization of pharmacogenomic plausibility check reports for clinical decision support systems.	J. Integr. Bioinform.	2024	DBLP DOI BibTeX RDF
11	J. du Toit, Johan A. du Preez, Riaan Wolhuter	Low-density parity-check codes: tracking non-stationary channel noise using sequential variational Bayesian estimates.	Telecommun. Syst.	2024	DBLP DOI BibTeX RDF
11	Xun Deng, Fuli Feng, Xiang Wang 0010, Xiangnan He 0001, Hanwang Zhang, Tat-Seng Chua	Learning to Double-Check Model Prediction From a Causal Perspective.	IEEE Trans. Neural Networks Learn. Syst.	2024	DBLP DOI BibTeX RDF
11	Linqing Gao, Dengzhe Ha, Litao Ma, Jiqiang Chen	The prediction model of water level in front of the check gate of the LSTM neural network based on AIW-CLPSO.	J. Comb. Optim.	2024	DBLP DOI BibTeX RDF
11	Abdul Mateen Ahmed, Aaqib Patel, Mohammed Zafar Ali Khan	Parity Check Coded Super-MAC for Reliability Enhancements in Next-Generation Networks.	COMSNETS	2024	DBLP DOI BibTeX RDF
11	Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure	Check-In Desk Scheduling Optimisation at CDG International Airport.	AAAI	2024	DBLP DOI BibTeX RDF
11	Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf	Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection.	EACL (Demonstrations)	2024	DBLP BibTeX RDF
11	Yuncong Zhang, Shifeng Sun 0001, Dawu Gu	Efficient KZG-Based Univariate Sum-Check and Lookup Argument.	Public Key Cryptography (2)	2024	DBLP DOI BibTeX RDF
11	Raphael Antonius Frick, Martin Steinebach	Improved identification of check-worthiness in social media data through multimodal analyses.	ROMCIR@ECIR	2024	DBLP BibTeX RDF
11	Alberto Barrón-Cedeño, Firoj Alam, Tanmoy Chakraborty 0002, Tamer Elsayed, Preslav Nakov, Piotr Przybyla, Julia Maria Struß, Fatima Haouari, Maram Hasanain, Federico Ruggeri, Xingyi Song, Reem Suwaileh	The CLEF-2024 CheckThat! Lab: Check-Worthiness, Subjectivity, Persuasion, Roles, Authorities, and Adversarial Robustness.	ECIR (5)	2024	DBLP DOI BibTeX RDF
11	Inna Vogel, Pauline Möhle, Meghana Meghana, Martin Steinebach	Adapter fusion for check-worthiness detection - combining a task adapter with a NER adapter.	ROMCIR@ECIR	2024	DBLP BibTeX RDF
11	Yue Wang 0039, Zilong Zheng, Zecheng Tang, Juntao Li, Zhihui Liu, Kunlong Chen, Jinxiong Chang, Qishen Zhang, Zhongyi Liu, Min Zhang 0005	Towards Better Chinese Spelling Check for Search Engines: A New Dataset and Strong Baseline.	WSDM	2024	DBLP DOI BibTeX RDF
11	Ria Jha, Ena Motwani, Nivedita Singhal, Rishabh Kaushal	Towards automated check-worthy sentence detection using Gated Recurrent Unit.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
11	Alvine Boaye Belle, Yixi Zhao	Evidence-based decision-making: On the use of systematicity cases to check the compliance of reviews with reporting guidelines such as PRISMA 2020.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
11	Qi Lv, Ziqiang Cao, Lei Geng, Chunhui Ai, Xu Yan, Guohong Fu	General and Domain-adaptive Chinese Spelling Check with Error-consistent Pretraining.	ACM Trans. Asian Low Resour. Lang. Inf. Process.	2023	DBLP DOI BibTeX RDF
11	Atish Agarwala, Samuel Stern Schoenholz, Jeffrey Pennington, Yann N. Dauphin	Temperature check: theory and practice for training models with softmax-cross-entropy losses.	Trans. Mach. Learn. Res.	2023	DBLP BibTeX RDF
11	Mohanaprakash Thottipalayam Andavan, Nirmalrani Vairaperumal	Cloud computing based deduplication using high-performance grade byte check and fuzzy search technique.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
11	Emily McMillon, Allison Beemer, Christine A. Kelley	Extremal absorbing sets in low-density parity-check codes.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
11	Rimjhim, Sourav Kumar Dandapat	Tagging Multi-Label Categories to Points of Interest From Check-In Data.	IEEE Trans. Emerg. Top. Comput. Intell.	2023	DBLP DOI BibTeX RDF
11	Antonio Tomás Mozas-Calvache	Positional Accuracy Assessment of Digital Elevation Models and 3D Vector Datasets Using Check-Surfaces.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
11	Endrowednes Kuantama, Avishkar Seth, Alice James, Yihao Zhang	Flying Watchdog-Based Guard Patrol with Check Point Data Verification.	Future Internet	2023	DBLP DOI BibTeX RDF
11	Jana Plomin, Paul Schweidler, Astrid Oehme	Virtual reality check: a comparison of virtual reality, screen-based, and real world settings as research methods for HRI.	Frontiers Robotics AI	2023	DBLP DOI BibTeX RDF
11	Xiaoqiang Ma, Fengxiang Ding, Kai Peng 0001, Yang Yang 0060, Chen Wang 0011	CP-Link: Exploiting Continuous Spatio-Temporal Check-In Patterns for User Identity Linkage.	IEEE Trans. Mob. Comput.	2023	DBLP DOI BibTeX RDF
11	Maren Junker, Sebastian Dünnebeil, Markus Böhm 0001, Helmut Krcmar	Usage of a workplace health promotion app: an evaluation of app usage data and medical check-up results.	Health Informatics J.	2023	DBLP DOI BibTeX RDF
11	Yanlong Zhao, Zhendong Yin, Zhutian Yang, Zhilu Wu, Rui Zhang	Reliability-Design of Ordered Tree-Based Single-Parity-Check Decoder for Polar Codes Fast List Decoding.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
11	Ming-Ho Yee, Arjun Guha	Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
11	Huiyang Liu, Pingquan He, Yun Jiang, Qinglin Zhang, Qiaoqiao Xia	A Simple Check Polytope Projection Penalized Algorithm for ADMM Decoding of LDPC Codes.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Alberto Dennunzio, Enrico Formenti, Luciano Margara	An Easy to Check Characterization of Positive Expansivity for Additive Cellular Automata Over a Finite Abelian Group.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Bo-Jun Qiu, Cheng-Ying Hsieh, Jyh-Cheng Chen, Falko Dressler	TCOA: Triple-Check Offloading Algorithm for Roadside Units and Vehicular Microclouds in 5G Networks and Beyond.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Ryan G. L. Koh, Md. Asif Khan, Sajjad Rashidiani, Samah Hassan, Victoria Tucci, Theodore Liu, Karlo Nesovic, Dinesh Kumbhare, Thomas E. Doyle	Check It Before You Wreck It: A Guide to STAR-ML for Screening Machine Learning Reporting in Research.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Yangyang Geng, Yuqi Chen 0001, Rongkuan Ma, Qiang Wei, Jie Pan, Jingyi Wang 0004, Peng Cheng 0001, Qingxian Wang	Defending Cyber-Physical Systems Through Reverse-Engineering-Based Memory Sanity Check.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
11	Wenzheng Sun, Hong Liu, Nainan Wen	What motivates people to continuously engage in online task-oriented check-ins? The role of perceived social presence.	Aslib J. Inf. Manag.	2023	DBLP DOI BibTeX RDF
11	Yavuz Selim Kartal, Mücahid Kutlu	Re-Think Before You Share: A Comprehensive Study on Prioritizing Check-Worthy Claims.	IEEE Trans. Comput. Soc. Syst.	2023	DBLP DOI BibTeX RDF
11	Zhongzhi Xu, Weibin Cheng, Zhen Li 0013, Gary Tse, Fengshi Jing, Wanmin Lian, Junzhang Tian, Qingpeng Zhang	Mass Screening for Low Bone Density Using Basic Check-Up Items.	IEEE Trans. Comput. Soc. Syst.	2023	DBLP DOI BibTeX RDF
11	Zhongyang Yuan, Jianhu Zhao, Tie Li	SVP Inversion for Weakening Multibeam Bathymetry Errors by Constraint of Check Line Depth.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Ahmed Sedik, Ahmed A. Abd El-Latif 0001, Mohammed Ahmed El-Affendi, Hala Mostafa	A Cancelable Biometric System Based on Deep Style Transfer and Symmetry Check for Double-Phase User Authentication.	Symmetry	2023	DBLP DOI BibTeX RDF
11	Jiaxuan Cai, Xinmiao Zhang	Low-Complexity Parallel Min-Sum Medium-Density Parity-Check Decoder for McEliece Cryptosystem.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
11	Jiho Kim, Soonhee Kwon, Jaesang Noh, Dong-Joon Shin	Construction of Cyclic Redundancy Check Codes for SDDC Decoding in DRAM Systems.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF