Search results for "Result Verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller	Novel Approaches to Numerical Software with Result Verification.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
4	Balkhis Abu Bakar, Tomasz Janowski	Automated Result Verification with AWK. (PDF / PS)	ICECCS	2000	DBLP DOI BibTeX RDF	AWK, result-based specifications, formal specification, formal verification, specification, software components, error detection, program generators, result-verification, result verification
3	Shanyu Zhao, Virginia Mary Lo, Chris GauthierDickey	Result Verification and Trust-Based Scheduling in Peer-to-Peer Grids.	Peer-to-Peer Computing	2005	DBLP DOI BibTeX RDF	Peer-to-Peer, Grid Computing, Trust, Reputation System, Result Verification
3	Stefan Borovac, Gerhard Heindl	Result Verification for Computational Problems in Geodesy.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
3	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	STTT	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
2	Kyriakos Mouratidis, Dimitris Sacharidis, HweeHwa Pang	Partially materialized digest scheme: an efficient verification method for outsourced databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Query result verification, Authentication in outsourced databases
2	René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)	Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers	Numerical Software with Result Verification	2004	DBLP BibTeX RDF
2	R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico	Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Markus Grimmer, Knut Petras, Nathalie Revol	Multiple Precision Interval Packages: Comparing Different Approaches.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	George F. Corliss, Jun Yu	Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer	Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski	Interval Algorithms in Modeling of Multibody Systems.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Daniela Fausten, Gerhard Haßlinger	Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff	Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF	chemical process analysis and design, verified solution of nonlinear systems, order–2 Taylor expansion, singularities
2	Michel Kieffer, Eric Walter	Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Werner Hofschuster, Walter Krämer	C-XSC 2.0: A C++ Library for Extended Scientific Computing.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Hermann Schichl	Global Optimization in the COCONUT Project.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Katja Bühler, Eva Dyllong, Wolfram Luther	Reliable Distance and Intersection Computation Using Finite Precision Geometry.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Götz Alefeld, Günter Mayer	On Singular Interval Systems.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Sylvie Putot, Eric Goubault, Matthieu Martel	Static Analysis-Based Validation of Floating-Point Computations.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Baya Oussena, Abderrezak Henni, René Alt	An Application of Wavelet Theory to Early Breast Cancer.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	David R. Lester	Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Jürgen Wolff von Gudenberg	OOP and Interval Arithmetic - Language Support and Libraries.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
1	Alexandros Stamatakis, Fernando Izquierdo-Carrasco	Result verification, code verification and computation of support values in phylogenetics.	Briefings in Bioinformatics	2011	DBLP DOI BibTeX RDF
1	Yongzhi Wang, Jinpeng Wei	VIAF: Verification-Based Integrity Assurance Framework for MapReduce.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	Collusion detection, MapReduce, Hadoop, Result Verification
1	Joon-Min Gil, Soo-Jin Koo, SungJin Choi	Result Verification Mechanism Based on Availability and Reputation of Resources in P2P Desktop Grid Systems.	FGIT-GDC/CA	2010	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Interval Analysis: Unconstrained and Constrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Analysis: Verifying Feasibility.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Fixed Point Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Fixed point iteration
1	R. Baker Kearfott	Interval Newton Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Nonlinear system of equations
1	Jie S. Hu, Feihui Li, Vijay Degalahal, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin	Compiler-assisted soft error detection under performance and energy constraints in embedded systems.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	instruction duplication, reliability, Embedded systems, compilers, energy consumption, soft errors
1	Achim D. Brucker, Burkhart Wolff	hol-TestGen.	FASE	2009	DBLP DOI BibTeX RDF	symbolic test-case generations, theorem proving, black box testing, white box testing, interactive testing
1	Carsten Binnig, Donald Kossmann, Eric Lo, Angel Saenz-Badillos	Automatic Result Verification for the Functional Testing of a Query Language.	ICDE	2008	DBLP DOI BibTeX RDF
1	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Numerical verification assessment, validation, uncertainty, result verification
1	Gaurav Singh, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
1	Chin-Yun Chen	Bivariate Product Cubature Using Peano Kernels for Local Error Estimates.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Adaptive cubature, Tensor product rules, Optimal error estimates, Peano kernels, Interval computation
1	HongSoo Kim, Joon-Min Gil, Chong-Sun Hwang, Heon-Chang Yu, Soon Young Joung	Agent-Based Autonomous Result Verification Mechanism in Desktop Grid Systems.	AP2PC	2007	DBLP DOI BibTeX RDF
1	Evgenija D. Popova	Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
1	Evgenija D. Popova	Improved Solution Enclosures for Over- and Underdetermined Interval Linear Systems.	LSSC	2005	DBLP DOI BibTeX RDF
1	Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger	Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification.	MMB	2004	DBLP BibTeX RDF
1	Barbara Staudt Lerner	Verifying process models built using parameterized state machines.	ISSTA	2004	DBLP DOI BibTeX RDF	Little-JIL, SMC, finite state machine, software process, work flow, LTSA
1	Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson	Software Tamper Resistance Using Program Certificates.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Steven Gordon, Lars Michael Kristensen, Jonathan Billington	Verification of a Revised WAP Wireless Transaction Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Edgar F. A. Lederer, Romeo A. Dumitrescu	Automatic Result Verification by Complete Run-Time Checking of Computations.	Int. J. Found. Comput. Sci.	2001	DBLP BibTeX RDF
1	David Lie, Andy Chou, Dawson R. Engler, David L. Dill	A simple method for extracting models for protocol code.	ISCA	2001	DBLP DOI BibTeX RDF
1	Ulrike Storck	An Adaptive Numerical Integration Algorithm with Automatic Result Verification for Definite Integrals.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 41A55, 65G10, 65D32
1	Christoph Meinel, Harald Sack, Arno Wagner	WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms.	Experimental Algorithmics	2000	DBLP DOI BibTeX RDF
1	Axel Dold, Vincent Vialard	Formal Verification of a Compiler Back-End Generic Checker Program.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	checker-based program verification, generic specification, formal verification