Search results for "Error-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Jianxin Wang 0001, Ling Chen 0003, Weiwei Zhou	Design and Implementation of an Internet-Based Platform for C Language Learning.	ICWL	2008	DBLP DOI BibTeX RDF	logic error checking, compile error checking, C language learning, distance education
28	Selahattin Sayil	Optical Contactless Probing: An All-Silicon, Fully Optical Approach.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	VLSI, testability, testing tools, error-checking, error-checking
22	Hung-Chuan Lai, Shi-Jinn Horng, Yong-Yuan Chen, Pingzhi Fan, Yi Pan 0001	A New Concurrent Detection of Control Flow Errors Based on DCT Technique.	PRDC	2007	DBLP DOI BibTeX RDF
22	Kwondo Ma, Chandramouli N. Amarnath, Abhijit Chatterjee	Error Resilient Transformers: A Novel Soft Error Vulnerability Guided Approach to Error Checking and Suppression.	ETS	2023	DBLP DOI BibTeX RDF
19	Shuichi Shinmori, Masaaki Hoda, Yoshiaki Koga	Realization method of totally shelf - Checking error checking and correcting circuits for main memory systems.	Syst. Comput. Jpn.	1987	DBLP DOI BibTeX RDF
19	W. Keith Moser, Mark H. Hansen, Patrick D. Miles, Barbara Johnson, Ronald E. McRoberts	The Virtual Analyst Program: A Small Scale Data-Mining, Error-Analysis and Reporting Function.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	automatic reports, forest inventory, North Central United States, data mining, error checking
19	Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen	An Online Control Flow Check for VLIW Processor.	PRDC	2008	DBLP DOI BibTeX RDF
17	Linda A. Kovacs, Steven F. Gilli	Extended microcode error checking on a pipelined machine.	MICRO	1989	DBLP DOI BibTeX RDF
14	Ming Gao, Hsiu-Ming Chang 0001, Peter Lisherness, Kwang-Ting (Tim) Cheng	Time-Multiplexed Online Checking.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	fault tolerance, Availability, built-in tests, error-checking
14	Manuel Barranco, Julián Proenza, Luís Almeida 0001	Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate.	Computer	2009	DBLP DOI BibTeX RDF	CAN protocol, Embedded systems, Network topology, Systems engineering, Controller area networks, Error checking, Real-time distributed systems, Buses
14	Basel Halak, Alexandre Yakovlev	Fault-Tolerant Techniques to Minimize the Impact of Crosstalk on Phase Encoded Communication Channels.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Asynchronous operation, reliability and VLSI, Simulation, Fault tolerance, Performance, crosstalk, communication channels, Error-checking, information redundancy
14	Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt	Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Reliability, Testing, Built-in tests, Error-checking
14	Rodney Van Meter, Kae Nemoto, W. J. Munro	Communication Links for Distributed Quantum Computation.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Interconnections (Subsystems), Emerging technologies, Emerging technologies, Error-checking, Interconnection architectures
14	Egas Henes Neto, Ivandro Ribeiro, Michele G. Vieira, Gilson I. Wirth, Fernanda Lima Kastensmidt	Using Bulk Built-in Current Sensors to Detect Soft Errors.	IEEE Micro	2006	DBLP DOI BibTeX RDF	Reliability, Built-in tests, Error-checking, Testing and Fault-Tolerance
14	Petros Oikonomakos, Mark Zwolinski	On the Design of Self-Checking Controllers with Datapath Interactions.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	fault tolerance, Reliability, testing, automatic synthesis, error-checking, redundant design
14	Chia-Chih Yen, Jing-Yang Jou	An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	simulation, Verification, diagnosis, satisfiability, error checking
14	Gian Carlo Cardarilli, Marco Ottavi, Salvatore Pontarelli, Marco Re, Adelio Salsano	Fault Localization, Error Correction, and Graceful Degradation in Radix 2 Signed Digit-Based Adders.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Fault tolerance, error checking, high-speed arithmetic
14	Ravishankar K. Iyer, Nithin Nakka, Zbigniew Kalbarczyk, Subhasish Mitra	Recent Advances and New Avenues in Hardware-Level Reliability Support.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Reliability, Error-checking, Testing and Fault-Tolerance, Redundant design
14	Jason F. Cantin, Mikko H. Lipasti, James E. Smith 0001	The Complexity of Verifying Memory Coherence and Consistency.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	design styles, nonnumerical algorithms and problems, sequencing and scheduling, fault-tolerance, reliability, testing, shared memory, Hardware, theory of computation, error-checking, memory structures
14	Darshan D. Thaker, François Impens, Isaac L. Chuang, Rajeevan Amirtharajah, Frederic T. Chong	Recursive TMR: Scaling Fault Tolerance in the Nanoscale Era.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	Fault tolerance, Emerging technologies, Error-checking, Redundant design
14	Cung Nguyen, G. Robert Redinbo	Fault Tolerance Design in JPEG 2000 Image Compression System.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerant source coding, JPEG 2000 standard, hardware reliability, weighted sum parity, data compression, Discrete Wavelet Transform (DWT), Soft errors, concurrent error detection, Huffman coding, error control codes, algorithm-based fault tolerance, error-checking
14	Dong-U Lee, Wayne Luk, John D. Villasenor, Peter Y. K. Cheung	A Gaussian Noise Generator for Hardware-Based Simulations.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	simulation, error-checking, gate arrays, Algorithms implemented in hardware
14	Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov	Self-dual parity checking-A new method for on-line testing.	VTS	1996	DBLP DOI BibTeX RDF	self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking
14	Shambhu J. Upadhyaya, Bina Ramamurthy	Concurrent Process Monitoring with No Reference Signatures.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	concurrent process monitoring, signature technique, compilation phase, signature checking, controllable latency, branch-free interval, error coverage, sequencing errors, fault tolerant computing, controllability, program testing, signature analysis, control flow graph, error checking, bit errors, watchdog processor, error latency
14	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
14	Yoon-Hwa Choi, Miroslaw Malek	A Fault-Tolerant Systolic Sorter.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	VLSI sorter, fault-tolerant systolic sorter, permanent computation errors, error-checking code, redundant cells, single faulty cell, offline fault-testing, permanent stuck-at faults, testing, fault tolerant computing, reconfiguration, redundancy, integrated circuit testing, sorting, automatic testing, invariants, error detection codes, cellular arrays, algorithm-based fault tolerance, digital integrated circuits, hardware overhead, time overhead
12	Ismet Bayraktaroglu, Alex Orailoglu	Concurrent test for digital linear systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
12	Christodoulos Peltekis, Dionysios Filippas, Giorgos Dimitrakopoulos	Error Checking for Sparse Systolic Tensor Arrays.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jinge Wu, Yunsoo Kim, Eva C. Keller, Jamie Chow, Adam P. Levine, Nikolas Pontikos, Zina M. Ibrahim, Paul Taylor, Michelle C. Williams, Honghan Wu	Exploring Multimodal Large Language Models for Radiology Report Error-checking.	CoRR	2023	DBLP DOI BibTeX RDF
12	Peter R. Michael	Error Checking Methodology to Verify PV Module Parameter Solutions.		2023	DOI RDF
12	Chang Meng, Jiajun Sun, Yuqi Mai, Weikang Qian	MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis.	DATE	2023	DBLP DOI BibTeX RDF
12	Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck	SENA: Similarity-Based Error-Checking of Neural Activations.	ECAI	2023	DBLP DOI BibTeX RDF
12	Zheng Xu, Xinjie Zhou, Zhiqiang Xiao	A Hardware Backup Dual-Core Lockstep for Error Checking and Recovery.	EITCE	2023	DBLP DOI BibTeX RDF
12	Congcong Wang, Chen Wang, Jian Shen 0001, Pandi Vijayakumar, Md. Zakirul Alam Bhuiyan	Fault-Tolerant Data Aggregation with Error-Checking for Smart Grids.	DASC/PiCom/CBDCom/CyberSciTech	2023	DBLP DOI BibTeX RDF
12	Flávio R. S. Oliveira, Fernando B. Lima Neto	Self-explanatory error checking capability for classifier-based Decision Support Systems.	LA-CCI	2022	DBLP DOI BibTeX RDF
12	Zhentong Shao, Qiaozhu Zhai, Yan Xu, Xiaohong Guan	A Linear Probabilistic Optimal Power Flow Model with Linearization Error Checking.	ISGT Asia	2022	DBLP DOI BibTeX RDF
12	Renato Aguilera, Henry O. Sillin, Adam Z. Stieg, James K. Gimzewski	Programmable Fading Memory in Atomic Switch Systems for Error Checking Applications.	Reservoir Computing	2021	DBLP DOI BibTeX RDF
12	Nawei Zhong, Xiaoge Li, Long Qin	Hybrid Chinese Grammar Error Checking Model Based on Transformer.	AIPR	2021	DBLP DOI BibTeX RDF
12	Simon S. Du, Yuping Luo, Ruosong Wang, Hanrui Zhang	Provably Efficient Q-learning with Function Approximation via Distribution Shift Error Checking Oracle.	CoRR	2019	DBLP BibTeX RDF
12	Simon S. Du, Yuping Luo, Ruosong Wang, Hanrui Zhang	Provably Efficient Q-learning with Function Approximation via Distribution Shift Error Checking Oracle.	NeurIPS	2019	DBLP BibTeX RDF
12	Nora Madi, Hend S. Al-Khalifa	Grammatical Error Checking Systems: A Review of Approaches and Emerging Directions.	ICDIM	2018	DBLP DOI BibTeX RDF
12	Bo Guan, Xin Li	An RSSI-based Wireless Sensor Network Localization Algorithm with Error Checking and Correction.	Int. J. Online Eng.	2017	DBLP BibTeX RDF
12	Yanna Liu, Li Chen, Shenglin Tang	一个面向任务图并行程序的错误检查工具 (Error Checking Tool for DAG-based Task Parallel Programs).	计算机科学	2017	DBLP DOI BibTeX RDF
12	Judith Willemijn Borghouts, Duncan P. Brumby, Anna L. Cox	Batching, Error Checking and Data Collecting: Understanding Data Entry in a Financial Office.	ECSCW Exploratory Papers	2017	DBLP DOI BibTeX RDF
12	Yuan-Yuan Lv, Yong-Li Deng, Ming-Liang Liu, Qi-Yong Lu	Automatic Error Checking and Correction of Electronic Medical Records.	FSDM	2015	DBLP DOI BibTeX RDF
12	Yue-Ru Chuang, Hsueh-Wen Tseng, Shiann-Tsong Sheu	A Performance Study of Discrete-Error-Checking Scheme (DECS) with the Optimal Division Locations for IEEE 802.16-Based Multihop Networks.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
12	Matthew Heinsen Egan, Chris McDonald	Reducing novice C programmers' frustration through improved runtime error checking.	ITiCSE	2013	DBLP DOI BibTeX RDF
12	Jarupa Vipoopinyo	eXtensible business reporting language semantic error checking for accounting information systems.		2013	RDF
12	Julian Wolf 0002, Bernhard Fechner, Sascha Uhrig, Theo Ungerer	Fine-grained timing and control flow error checking for hard real-time task execution.	SIES	2012	DBLP DOI BibTeX RDF
12	Özgür Çobanoglu, Erkcan Özcan, Saleh Sultansoy, Gökhan Ünel	OPUCEM: A library with error checking mechanism for computing oblique parameters.	Comput. Phys. Commun.	2011	DBLP DOI BibTeX RDF
12	Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann	Static deep error checking in large system applications using parfait.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
12	Xiaoyin Yao, Lawrence T. Clark, Dan W. Patterson, Keith E. Holbert	Single event transient mitigation in cache memory using transient error checking circuits.	CICC	2010	DBLP DOI BibTeX RDF
12	Alun Thomas	GMCheck: Bayesian error checking for pedigreegenotypes and phenotypes.	Bioinform.	2005	DBLP DOI BibTeX RDF
12	Samuel Z. Guyer, Calvin Lin	Error checking with client-driven pointer analysis.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
12	Francisco Rodríguez 0003, Juan José Serrano	Control Flow Error Checking with ISIS.	ICESS	2005	DBLP DOI BibTeX RDF
12	S. Karthik, H. G. Jayakumar	Static Analysis: C Code Error Checking for Reliable and Secure Programming.	IEC (Prague)	2005	DBLP BibTeX RDF
12	Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto	SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
12	Hui Dong, I. D. Chakares, Allen Gersho, Elizabeth M. Belding-Royer, Jerry D. Gibson	Selective bit-error checking at the MAC layer for voice over mobile ad hoc networks with IEEE 802.11.	WCNC	2004	DBLP DOI BibTeX RDF
12	Toni Badia, Angel Gil, Martí Quixal, Oriol Valentín	NLP-enhanced Error Checking for Catalan Unrestricted Text.	LREC	2004	DBLP BibTeX RDF
12	Weihua Luo, Zhensheng Luo, Xiaojin Gong	Semantic error checking in automatic proofreading for Chinese texts.	SMC (2)	2002	DBLP DOI BibTeX RDF
12	Yannis Kalfoglou, David Stuart Robertson 0001	Use of Formal Ontologies to Support Error Checking in Specifications.	EKAW	1999	DBLP DOI BibTeX RDF
12	Ing-Ray Chen, I-Ling Yen	Analysis of Probabilistic Error Checking Procedures on Storage Systems.	Comput. J.	1995	DBLP DOI BibTeX RDF
12	Ing-Ray Chen	Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects.	SAC	1993	DBLP DOI BibTeX RDF
12	Young-Jong Cho, Chong Kwan Un	Window flow control with error-checking scheme in quasi-cut-through switching network with noisy channels.	IEEE Trans. Commun.	1991	DBLP DOI BibTeX RDF
12	Arthur B. Pyster, Amitava Dutta	Error-checking Compilers and Portability.	Softw. Pract. Exp.	1978	DBLP DOI BibTeX RDF
12	C. M. Thomson	Error checking, tracing, and dumping in an ALGOL 68 checkout compiler.	ACM SIGPLAN Notices	1977	DBLP DOI BibTeX RDF
12	Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen	Error checking with pointer variables.	ACM Annual Conference	1976	DBLP DOI BibTeX RDF
12	Thammavarapu R. N. Rao	Error-Checking Logic for Arithmetic-Type Operations of a Processor.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
12	D. S. Henderson	Residue class error checking codes.	ACM National Meeting	1961	DBLP DOI BibTeX RDF
12	William H. Kautz	Unit-Distance Error-Checking Codes.	IRE Trans. Electron. Comput.	1958	DBLP DOI BibTeX RDF
10	Marcel Medwed, Jörn-Marc Schmidt	A Generic Fault Countermeasure Providing Data and Program Flow Integrity.	FDTC	2008	DBLP DOI BibTeX RDF
10	Seongwoo Kim, Arun K. Somani	Area Efficient Architectures for Information Integrity in Cache Memories.	ISCA	1999	DBLP DOI BibTeX RDF
10	Kevin M. Greenan, Ethan L. Miller	Reliability mechanisms for file systems using non-volatile memory as a metadata store.	EMSOFT	2006	DBLP DOI BibTeX RDF	file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory
9	Gordon B. Bell, Mikko H. Lipasti	Skewed redundancy.	PACT	2008	DBLP DOI BibTeX RDF	distributed processing, error tolerance, memory-level parallelism
9	Yuan Zhang, Youren Wang, Shanshan Yang, Min Xie	Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance.	ICES	2007	DBLP DOI BibTeX RDF	Embryonic systems, Two-level self-repair, Extended hamming code, Fault tolerance of configuration memory, Cellular arrays
9	Parag K. Lala, Alvernon Walker	On-Line Error Detectable Carry-Free Adder Design.	DFT	2001	DBLP DOI BibTeX RDF	carry-free adder, signed binary digits, 1-out-of-3 code, on-line error detection
9	Bina Ramamurthy, Shambhu J. Upadhyaya, Bharat K. Bhargava	Design and Analysis of an Integrated Checkpointing Recovery Scheme for Distributed Applications.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	distributed systems, Checkpointing, concurrent error detection, rollback recovery, message logging
7	Chong Hee Kim, Jean-Jacques Quisquater	Fault Attacks for CRT Based RSA: New Attacks, New Results, and New Countermeasures.	WISTP	2007	DBLP DOI BibTeX RDF
7	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
7	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Fault Tolerant Arithmetic with Applications in Nanotechnology based Systems.	ITC	2004	DBLP DOI BibTeX RDF
7	P. G. Moulton, M. E. Muller	DITRAN - a compiler emphasizing diagnostics.	Commun. ACM	1967	DBLP DOI BibTeX RDF
5	Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah	Backward-compatible constant-time exception-protected memory.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
5	Ben Gavula, George Scheets, Keith A. Teague, Justin Weber	The perceptual quality of melp speech over error tolerant IP networks.	ICASSP	2008	DBLP DOI BibTeX RDF
5	David A. Poplawski, Zachary Kurmas	JLS: a pedagogically targeted logic design and simulation tool.	ITiCSE	2008	DBLP DOI BibTeX RDF	jls, simulation, digital logic
5	Jeffrey Mark Siskind, Barak A. Pearlmutter	First-class nonstandard interpretations by opening closures.	POPL	2007	DBLP DOI BibTeX RDF	lambda lifting, referential transparency
5	Gongye Zhou, Peng Chen	RH-SCSI: A Reliable HyperSCSI Protocol for Networking Storage.	IEEE NAS	2007	DBLP DOI BibTeX RDF
5	Jing Yu 0015, María Jesús Garzarán, Marc Snir	Techniques for Efficient Software Checking.	LCPC	2007	DBLP DOI BibTeX RDF
5	Mark Grechanik	Finding errors in components that exchange xml data.	ASE	2007	DBLP DOI BibTeX RDF	schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution
5	David A. Poplawski	A pedagogically targeted logic design and simulation tool.	WCAE	2007	DBLP DOI BibTeX RDF	logic simulation
5	Teck Bok Tok, Samuel Z. Guyer, Calvin Lin	Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.	CC	2006	DBLP DOI BibTeX RDF
5	Vinton G. Cerf, Robert E. Kahn	A protocol for packet network intercommunication.	Comput. Commun. Rev.	2005	DBLP DOI BibTeX RDF
5	Sylvia C. Wong, Simon Miles, Weijian Fang, Paul Groth, Luc Moreau 0001	Provenance-Based Validation of E-Science Experiments.	ISWC	2005	DBLP DOI BibTeX RDF
5	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
5	Wendy Bartlett, Lisa Spainhower	Commercial Fault Tolerance: A Tale of Two Systems.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	fault tolerance, high availability, Computer systems implementation
5	Yuhua Luo, José Miguel Dias	Development of a Cooperative Integration System for AEC Design.	CDVE	2004	DBLP DOI BibTeX RDF
5	Yannis Smaragdakis	Program Generators and the Tools to Make Them.	SAS	2004	DBLP DOI BibTeX RDF
5	Steven J. Simske, Xiaofan Lin	Creating Digital Libraries: Content Generation and Re-Mastering.	DIAL	2004	DBLP DOI BibTeX RDF
5	Yannis Smaragdakis	Invited talk: program generators and the tools to make them.	PPDP	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
5	Charng-Da Lu, Daniel A. Reed	Assessing Fault Sensitivity in MPI Applications.	SC	2004	DBLP DOI BibTeX RDF
5	Ronald G. Minnich	Give your bootstrap the boot: using the operating system to boot the operating system.	CLUSTER	2004	DBLP DOI BibTeX RDF