|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 68 occurrences of 43 keywords
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Cécile Germain-Renaud, Dephine Monnier-Ragaigne |
Grid result checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4-6, 2005, pp. 87-96, 2005, ACM, 1-59593-019-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
simulation, grids, result checking |
52 | Hal Wasserman, Manuel Blum 0001 |
Software reliability via run-time result-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(6), pp. 826-849, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 4-11, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 512-516, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Proceedings of the 2008 International Symposium on Applications and the Internet, SAINT 2008, 28 July - 1 August 2008, Turku, Finland, pp. 201-204, 2008, IEEE Computer Society, 978-0-7695-3297-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 382-392, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 1-14, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 89-98, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(5), pp. 579-591, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(5), pp. 572-578, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 226-233, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings, pp. 419-436, 1999, Springer, 3-540-66483-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings, pp. 471-482, 2009, Springer, 978-3-642-01670-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 88-92, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 107-116, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1998 ACM symposium on Applied Computing, SAC'98, Atlanta, GA, USA, February 27 - March 1, 1998, pp. 122-129, 1998, ACM, 0-89791-969-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(12), pp. 1304-1312, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 45(4), pp. 385-393, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: Proceedings of the 9th International Conference on Software and Computer Applications, ICSCA 2020, Langkawi, Malaysia, February 18-21, 2020, pp. 264-268, 2020, ACM, 978-1-4503-7665-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTES ![In: Proceedings of the 1st International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2019), Mykolaiv, Ukraine, November 14-15, 2019., pp. 177-189, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OC@ICAC ![In: Proceedings of the 2011 workshop on Organic computing, OC@ICAC 2011, Karlsruhe, Germany, June 18, 2011, pp. 3-12, 2011, ACM, 978-1-4503-0736-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, pp. 253-267, 2010, Springer, 978-3-642-15639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Gilles Barthe, Pablo Buiras, César Kunz |
A Functional Framework for Result Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, pp. 72-86, 2010, Springer, 978-3-642-12250-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOQUA ![In: Third International Workshop on Software Quality Assurance, SOQUA 2006, Portland, Oregon, USA, November 6, 2006, pp. 6-13, 2006, ACM, 1-59593-584-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(7), pp. 634-648, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Computing And Cryptography ![In: Distributed Computing And Cryptography, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, October 4-6, 1989, pp. 107-118, 1989, DIMACS/AMS, 978-0-8218-6590-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
Software Tamper Resistance Using Program Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 144-158, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Lan Guo, Supratik Mukhopadhyay, Bojan Cukic |
Does Your Result Checker Really Check? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 399-404, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 10-12 July 2006, Como, Italy, pp. 251-256, 2006, IEEE Computer Society, 0-7695-2620-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, pp. 77-90, 2008, Springer, 978-3-540-79718-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers, pp. 211-222, 2008, Springer, 978-3-642-00954-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
6 | Matteo Cavaliere, Peter Leupold |
Evolution and Observation: A Non-standard Way to Accept Formal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers, pp. 153-163, 2004, Springer, 3-540-25261-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Gilbert Caplain |
Correctness properties in a shared-memory parallel language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 49(6), pp. 785-827, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Parallel computing |
5 | Dong Su, Kewei Lv |
A New Hard-Core Predicate of Paillier's Trapdoor Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2009, 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009. Proceedings, pp. 263-271, 2009, Springer, 978-3-642-10627-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 190-199, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Hongxia Jin |
Higher Dependability and Security for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPC ![In: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings, pp. 89-103, 2006, Springer, 3-540-33376-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
5 | Sébastien Varrette, Jean-Louis Roch, Franck Leprévost |
FlowCert : Probabilistic Certification for Peer-to-Peer Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 27-29 October 2004, Foz do Iguacu, Brazil, pp. 108-115, 2004, IEEE Computer Society, 0-7695-2240-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, pp. 123-132, 1999, Springer, 3-540-66916-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|