Search results for "error-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jianxin Wang, Ling Chen, 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
2	Selahattin Sayil	Optical Contactless Probing: An All-Silicon, Fully Optical Approach.	IEEE Design & Test of Computers	2006	DBLP DOI BibTeX RDF	VLSI, testability, testing tools, error-checking, error-checking
2	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
2	L. A. Kovacs, S. F. Gilli	Extended microcode error checking on a pipelined machine.	MICRO	1989	DBLP DOI BibTeX RDF
1	Özgür Çobanoglu, Erkcan Özcan, Saleh Sultansoy, Gökhan Ünel	OPUCEM: A library with error checking mechanism for computing oblique parameters.	Computer Physics Communications	2011	DBLP DOI BibTeX RDF
1	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
1	Ming Gao, Hsiu-Ming Chang, 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
1	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
1	Manuel Barranco, Julian Proenza, Luís Almeida	Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate.	IEEE Computer	2009	DBLP DOI BibTeX RDF	CAN protocol, Embedded systems, Network topology, Systems engineering, Controller area networks, Error checking, Real-time distributed systems, Buses
1	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
1	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
1	Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt	Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Reliability, Testing, Built-in tests, Error-checking
1	Gordon B. Bell, Mikko H. Lipasti	Skewed redundancy.	PACT	2008	DBLP DOI BibTeX RDF	distributed processing, error tolerance, memory-level parallelism
1	David A. Poplawski, Zachary Kurmas	JLS: a pedagogically targeted logic design and simulation tool.	ITiCSE	2008	DBLP DOI BibTeX RDF	jls, simulation, digital logic
1	Marcel Medwed, Jörn-Marc Schmidt	A Generic Fault Countermeasure Providing Data and Program Flow Integrity.	FDTC	2008	DBLP DOI BibTeX RDF
1	Ben Gavula, George Scheets, Keith Teague, Justin Weber	The perceptual quality of melp speech over error tolerant IP networks.	ICASSP	2008	DBLP DOI BibTeX RDF
1	Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen	An Online Control Flow Check for VLIW Processor.	PRDC	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	Jeffrey Mark Siskind, Barak A. Pearlmutter	First-class nonstandard interpretations by opening closures.	POPL	2007	DBLP DOI BibTeX RDF	lambda lifting, referential transparency
1	David A. Poplawski	A pedagogically targeted logic design and simulation tool.	WCAE	2007	DBLP DOI BibTeX RDF	logic simulation
1	Gongye Zhou, Peng Chen	RH-SCSI: A Reliable HyperSCSI Protocol for Networking Storage.	IEEE NAS	2007	DBLP DOI BibTeX RDF
1	Hung-Chuan Lai, Shi-Jinn Horng, Yong-Yuan Chen, Pingzhi Fan, Yi Pan	A New Concurrent Detection of Control Flow Errors Based on DCT Technique.	PRDC	2007	DBLP DOI BibTeX RDF
1	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
1	Jing Yu, María Jesús Garzarán, Marc Snir	Techniques for Efficient Software Checking.	LCPC	2007	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	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
1	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
1	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
1	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
1	Samuel Z. Guyer, Calvin Lin	Error checking with client-driven pointer analysis.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Alun Thomas	GMCheck: Bayesian error checking for pedigreegenotypes and phenotypes.	Bioinformatics	2005	DBLP DOI BibTeX RDF
1	S. Karthik, H. G. Jayakumar	Static Analysis: C Code Error Checking for Reliable and Secure Programming.	IEC (Prague)	2005	DBLP BibTeX RDF
1	Francisco Rodríguez, Juan José Serrano	Control Flow Error Checking with ISIS.	ICESS	2005	DBLP DOI BibTeX RDF
1	Darshan D. Thaker, Francois Impens, Isaac L. Chuang, Rajeevan Amirtharajah, Frederic T. Chong	Recursive TMR: Scaling Fault Tolerance in the Nanoscale Era.	IEEE Design & Test of Computers	2005	DBLP DOI BibTeX RDF	Fault tolerance, Emerging technologies, Error-checking, Redundant design
1	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
1	Cung Nguyen, G. Robert Redinbo	Fault Tolerance Design in JPEG 2000 Image Compression System.	IEEE Trans. Dependable Sec. 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
1	Jason F. Cantin, Mikko H. Lipasti, James E. Smith	The Complexity of Verifying Memory Coherence and Consistency.	IEEE Trans. Parallel Distrib. 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
1	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
1	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
1	Vinton G. Cerf, Robert E. Kahn	A protocol for packet network intercommunication.	Computer Communication Review	2005	DBLP DOI BibTeX RDF
1	Sylvia C. Wong, Simon Miles, Weijian Fang, Paul T. Groth, Luc Moreau	Provenance-Based Validation of E-Science Experiments.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	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
1	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
1	Yannis Smaragdakis	Invited talk: program generators and the tools to make them.	PPDP	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
1	Charng-da Lu, Daniel A. Reed	Assessing Fault Sensitivity in MPI Applications.	SC	2004	DBLP DOI BibTeX RDF
1	Ronald Minnich	Give your bootstrap the boot: using the operating system to boot the operating system.	CLUSTER	2004	DBLP DOI BibTeX RDF
1	Steven J. Simske, Xiaofan Lin	Creating Digital Libraries: Content Generation and Re-Mastering.	DIAL	2004	DBLP DOI BibTeX RDF
1	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Fault Tolerant Arithmetic with Applications in Nanotechnology based Systems.	ITC	2004	DBLP DOI BibTeX RDF
1	Wendy Bartlett, Lisa Spainhower	Commercial Fault Tolerance: A Tale of Two Systems.	IEEE Trans. Dependable Sec. Comput.	2004	DBLP DOI BibTeX RDF	fault tolerance, high availability, Computer systems implementation
1	Yuhua Luo, José Miguel Dias	Development of a Cooperative Integration System for AEC Design.	CDVE	2004	DBLP DOI BibTeX RDF
1	Yannis Smaragdakis	Program Generators and the Tools to Make Them.	SAS	2004	DBLP DOI BibTeX RDF
1	Paul A. Fearn, Kevin Regan, Frank Sculli, Jared Katz, Michael W. Kattan	A Chronological Database as Backbone for Clinical Practice and Research Data Management.	CBMS	2003	DBLP DOI BibTeX RDF
1	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Parag K. Lala, Alvernon Walker	On-Line Error Detectable Carry-Free Adder Design. (PDF / PS)	DFT	2001	DBLP DOI BibTeX RDF	carry-free adder, signed binary digits, 1-out-of-3 code, on-line error detection
1	Ismet Bayraktaroglu, Alex Orailoglu	Concurrent test for digital linear systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2001	DBLP DOI BibTeX RDF
1	Lutz Prechelt, Barbara Unger	An Experiment Measuring the Effects of Personal Software Process (PSP) Training.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	reliability, experiment, productivity, Process improvement, effort estimation, quality management
1	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
1	Yannis Kalfoglou, David Stuart Robertson	Use of Formal Ontologies to Support Error Checking in Specifications.	EKAW	1999	DBLP DOI BibTeX RDF
1	Seongwoo Kim, Arun K. Somani	Area Efficient Architectures for Information Integrity in Cache Memories.	ISCA	1999	DBLP DOI BibTeX RDF
1	Samuel Norman Hamilton, Alex Orailoglu, Andre Hertwig	Self Recovering Controller and Datapath Codesign.	DATE	1999	DBLP DOI BibTeX RDF
1	Delphine Stéphanie Goujon, Martial Michel, Jasper Peeters, Judith Ellen Devaney	AutoMap and AutoLink: Tools for Communicating Complex and Dynamic Data-Structures Using MPI.	CANPC	1998	DBLP DOI BibTeX RDF
1	Vl. V. Saposhnikov, Alexej Dmitriev, Michael Gössel, V. 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
1	Ing-Ray Chen, I-Ling Yen	Analysis of Probabilistic Error Checking Procedures on Storage Systems.	Comput. J.	1995	DBLP DOI BibTeX RDF
1	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
1	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
1	Ing-Ray Chen	Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects.	SAC	1993	DBLP DOI BibTeX RDF
1	Jonathan Kay, Joseph Pasquale	The Importance of Non-Data Touching Processing Overheads in TCP/IP.	SIGCOMM	1993	DBLP DOI BibTeX RDF	TCP/IP
1	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically Typed Language.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
1	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically-Typed Language.	POPL	1989	DBLP DOI BibTeX RDF
1	Takashi Nanya, Hendrik A. Goosen	The Byzantine hardware fault model.	IEEE Trans. on CAD of Integrated Circuits and Systems	1989	DBLP DOI BibTeX RDF
1	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
1	G. Octo Barnett	History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
1	Barry E. Jacobs, Alan R. Aronson, Anthony C. Klug	On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	program conversion, relational database, constraints
1	Arthur B. Pyster, Amitava Dutta	Error-checking Compilers and Portability.	Softw., Pract. Exper.	1978	DBLP DOI BibTeX RDF
1	Peggy R. Wright, Barry W. Brown	A Processor For Providing Friendly Environments For Frequently Used Application Packages.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Natural language programming, Operating system interface, User environment, Dialogue
1	J. C. Dill, D. L. Randall, I. Richer	PLEXUS - an on-line system for modeling neural networks.	Commun. ACM	1968	DBLP DOI BibTeX RDF	discrete system simulation, library systems, neurophysiological models, simulation, neural networks, modeling, data analysis, network simulation, biological modeling, on-line simulation
1	P. G. Moulton, M. E. Muller	DITRAN - a compiler emphasizing diagnostics.	Commun. ACM	1967	DBLP DOI BibTeX RDF