Search results for "result-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Cécile Germain-Renaud, Dephine Monnier-Ragaigne	Grid result checking.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	simulation, grids, result checking
52	Hal Wasserman, Manuel Blum 0001	Software reliability via run-time result-checking.	J. ACM	1997	DBLP DOI BibTeX RDF	self-correcting, fault tolerance, debugging, Fourier transform, concurrent error detection, built-in testing, result-checking
50	Paula Prata, João Gabriel Silva	Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations.	FTCS	1999	DBLP DOI BibTeX RDF	ABFT, Error Detection, Fault injection, Result-checking, Matrix operations
47	Samir Jafar, Sébastien Varrette, Jean-Louis Roch	Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations.	DEXA Workshops	2004	DBLP DOI BibTeX RDF	Checkpoint Recovery, Certificate of execution, Fault Tolerant, Parallel Processing, Result Checking
41	Ling Xu, Hong Wang 0006, Hiroyuki Takizawa, Hiroaki Kobayashi	A Reliability Model for Result Checking in Volunteer Computing.	SAINT	2008	DBLP DOI BibTeX RDF	volunteer computing, result checking
41	Manuel Blum 0001, Hal Wasserman	Program Result-Checking: A Theory of Testing Meets a Test of Theory	FOCS	1994	DBLP DOI BibTeX RDF	real-number linear transformation, program result-checking, self-correctors, reliable functionality, real-number computer systems, stored randomness, debugging, Fourier Transform, checkers, run-time checks
32	Manuel Blum 0001	Program Result Checking: A New Approach to Making Programs More Reliable.	ICALP	1993	DBLP DOI BibTeX RDF
31	HongSoo Kim, SungJin Choi, MaengSoon Baik, KwonWoo Yang, Heon-Chang Yu, Chong-Sun Hwang	Group-Based Scheduling Scheme for Result Checking in Global Computing Systems.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
27	Michael J. Turmon, Robert Granat, Daniel S. Katz, John Z. Lou	Tests and Tolerances for High-Performance Software-Implemented Fault Detection.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	error analysis, Algorithm-based fault tolerance, result checking, aerospace, parallel numerical algorithms
27	Richard Conway 0001, John S. Nelson	New CRT-Based RNS Converter Using Restricted Moduli Set.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	error analysis, Algorithm-based fault tolerance, result checking, aerospace, parallel numerical algorithms
23	Cécile Germain-Renaud, Nathalie Playez	Result checking in global computing systems.	ICS	2003	DBLP DOI BibTeX RDF	grid, program-checking, sequential test
23	Paula Prata, João Gabriel Silva	Fault-Detection by Result-Checking for the Eigenproblem.	EDCC	1999	DBLP DOI BibTeX RDF
22	Rim Chayeh, Christophe Cérin, Mohamed Jemni	A Probabilistic Fault-Tolerant Recovery Mechanism for Task and Result Certification of Large-Scale Distributed Applications.	GPC	2009	DBLP DOI BibTeX RDF	Probabilistic certification, Fault-Tolerance by value, Distributed systems, Recovery, Result checking, Meta-computing
22	Jean-Louis Roch, Sébastien Varrette	Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.	PASCO	2007	DBLP DOI BibTeX RDF	divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking
22	Michael J. Turmon, Robert Granat, Daniel S. Katz	Software-Implemented Fault Detection for High-Performance Space Applications.	DSN	2000	DBLP DOI BibTeX RDF	tolerance setting, space, Algorithm based fault tolerance, result checking, checksum
22	Edgar F. A. Lederer, Romeo A. Dumitrescu	Specification-consistent coordination model for computations.	SAC	1998	DBLP DOI BibTeX RDF	functional/imperative languages, parallel/distributed scientific computing, coordination languages, result-checking, run-time checking
22	Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson	A Formally Verified Sorting Certifier.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	software correctness, certification trails, program result checking, Sorting, formal program verification
22	Manuel Blum 0001, Hal Wasserman	Reflections on the Pentium Bug.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	Pentium, fault tolerance, reliability, verification, concurrent error detection, Built-in testing, result-checking
18	Abdullahi Abubakar Kawu, Abdulkarim Abdullahi, Elijah Joseph, Amit Mishra, Abdulganiyu Abdulrahman	MIRCS: A Mobile USSD-SMS Interactive Result Checking System for Resource-Constrained Settings.	ICSCA	2020	DBLP DOI BibTeX RDF
18	Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Julia Drozd	An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems.	ICTES	2019	DBLP BibTeX RDF
18	Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif	Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.	OC@ICAC	2011	DBLP DOI BibTeX RDF
18	Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin	Certified Result Checking for Polyhedral Analysis of Bytecode Programs.	TGC	2010	DBLP DOI BibTeX RDF
18	Gilles Barthe, Pablo Buiras, César Kunz	A Functional Framework for Result Checking.	FLOPS	2010	DBLP DOI BibTeX RDF
18	Peifeng Hu, Zhenyu Zhang 0004, W. K. Chan 0001, T. H. Tse	An empirical comparison between direct and indirect test result checking approaches.	SOQUA	2006	DBLP DOI BibTeX RDF	empirical evaluation, controlled experiment, test oracle, metamorphic testing
18	James H. Andrews, Yingjun Zhang	General Test Result Checking with Log File Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Testing, specification, unit testing, test oracles, log file analysis, lightweight formal methods, safety verification
18	Manuel Blum 0001, Michael Luby, Ronitt Rubinfeld	Program Result Checking against Adaptive Programs and in Cryptographic Settings.	Distributed Computing And Cryptography	1989	DBLP DOI BibTeX RDF
15	Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson	Software Tamper Resistance Using Program Certificates.	SAFECOMP	2003	DBLP DOI BibTeX RDF
12	Lan Guo, Supratik Mukhopadhyay, Bojan Cukic	Does Your Result Checker Really Check?	DSN	2004	DBLP DOI BibTeX RDF
11	Alexander V. Drozd, M. V. Lobachev, J. V. Drozd	The Problem of On-Line Testing Methods In Approximate Data Processing.	IOLTS	2006	DBLP DOI BibTeX RDF
9	Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.	SAT	2008	DBLP DOI BibTeX RDF
6	Sébastien Varrette, Jean-Louis Roch, Guillaume Duc, Ronan Keryell	Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
6	Matteo Cavaliere, Peter Leupold	Evolution and Observation: A Non-standard Way to Accept Formal Languages.	MCU	2004	DBLP DOI BibTeX RDF
6	Gilbert Caplain	Correctness properties in a shared-memory parallel language.	J. ACM	2002	DBLP DOI BibTeX RDF	Parallel computing
5	Dong Su, Kewei Lv	A New Hard-Core Predicate of Paillier's Trapdoor Function.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Paillier’s trapdoor function, Hard-core Predicate, Most significant bit
5	Bo Yu, Liang Kong, Yufeng Zhang 0001, Hong Zhu 0002	Testing Java Components based on Algebraic Specifications.	ICST	2008	DBLP DOI BibTeX RDF
5	Hongxia Jin	Higher Dependability and Security for Mobile Applications.	SPC	2006	DBLP DOI BibTeX RDF
5	Sébastien Varrette, Jean-Louis Roch, Franck Leprévost	FlowCert : Probabilistic Certification for Peer-to-Peer Computations.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
5	Vikraman Arvind, K. V. Subrahmanyam 0001, N. V. Vinodchandran	The Query Complexity of Program Checking by Constant-Depth Circuits.	ISAAC	1999	DBLP DOI BibTeX RDF