Search results for "runtime-error"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Markus Müller-Olm, Andreas Wolf 0004	On Excusable and Inexcusable Failures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
19	Joachim Protze, Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller, Wolfgang E. Nagel	MPI Runtime Error Detection with MUST: Advanced Error Reports.	Parallel Tools Workshop	2012	DBLP DOI BibTeX RDF
18	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	A crash course on database queries.	PODS	2007	DBLP DOI BibTeX RDF	nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
18	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
16	Lei Wang 0003, Niral Patel	Improving Error Tolerance for Multithreaded Register Files.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
14	Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund	Formal Runtime Error Detection During Development in the Automotive Industry.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
14	Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund	Formal Runtime Error Detection During Development in the Automotive Industry.	CoRR	2023	DBLP DOI BibTeX RDF
14	Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti	Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.	HCVS	2018	DBLP DOI BibTeX RDF
14	István Kádár	Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activity Based on a New Dataset		2018	RDF
14	Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard	Automatic runtime error repair and containment via recovery shepherding.	PLDI	2014	DBLP DOI BibTeX RDF
14	Joachim Protze, Tobias Hilbrich, Martin Schulz 0001, Bronis R. de Supinski, Wolfgang E. Nagel, Matthias S. Müller	MPI Runtime Error Detection with MUST: A Scalable and Crash-Safe Approach.	ICPP Workshops	2014	DBLP DOI BibTeX RDF
14	Tobias Hilbrich, Joachim Protze, Martin Schulz 0001, Bronis R. de Supinski, Matthias S. Müller	MPI runtime error detection with MUST: Advances in deadlock detection.	Sci. Program.	2013	DBLP DOI BibTeX RDF
14	Matthew Heinsen Egan, Chris McDonald	Reducing novice C programmers' frustration through improved runtime error checking.	ITiCSE	2013	DBLP DOI BibTeX RDF
14	Anirban Roy Choudhury, A. K. Bhattacharjee	RED: a tool for runtime error detection in C programs using abstract interpretation.	ISEC	2012	DBLP DOI BibTeX RDF
14	Tobias Hilbrich, Joachim Protze, Martin Schulz 0001, Bronis R. de Supinski, Matthias S. Müller	MPI runtime error detection with MUST: advances in deadlock detection.	SC	2012	DBLP DOI BibTeX RDF
14	Hai Wang 0002, Sheldon X.-D. Tan, Guangdeng Liao, Rafael Quintanilla, Ashish Gupta 0007	Full-chip runtime error-tolerant thermal estimation and prediction for practical thermal management.	ICCAD	2011	DBLP DOI BibTeX RDF
14	Tobias Hilbrich, Martin Schulz 0001, Bronis R. de Supinski, Matthias S. Müller	MUST: A Scalable Approach to Runtime Error Detection in MPI Programs.	Parallel Tools Workshop	2009	DBLP DOI BibTeX RDF
14	Aaron Tomb, Guillaume P. Brat, Willem Visser	Variably interprocedural program analysis for runtime error detection.	ISSTA	2007	DBLP DOI BibTeX RDF	can-test, generation, symbolic execution, defect detection
9	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
9	Ignacio Laguna, Fahad A. Arshad, David M. Grothe, Saurabh Bagchi	How to Keep Your Head above Water While Detecting Errors.	Middleware	2009	DBLP DOI BibTeX RDF	Stateful error detection, High throughput distributed applications, J2EE multi-tier systems, Intelligent sampling, Hidden Markov Model
6	Steven S. An, Theodore Kim, Doug L. James	Optimizing cubature for efficient integration of subspace deformations.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	dimensional model reduction, dynamic deformations, nonlinear solid mechanics, subspace dynamics, subspace integration, real-time simulation, quadrature, reduced-order modeling
6	Stijn Vansummeren	On deciding well-definedness for query languages on trees.	J. ACM	2007	DBLP DOI BibTeX RDF	Runtime errors, well-definedness, XQuery
6	Christof Fetzer, Pascal Felber, Karin Högstedt	Automatic Detection and Masking of Nonatomic Exception Handling.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
6	Christof Fetzer, Karin Högstedt, Pascal Felber	Automatic Detection and Masking of Non-Atomic Exception Handling.	DSN	2003	DBLP DOI BibTeX RDF
6	Maya Satratzemi, Stelios Xinogalos, Vassilios Dagdilelis	An Environment for Teaching Object-Oriented Programming: ObjectKarel.	ICALT	2003	DBLP DOI BibTeX RDF