Search results for "result-verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	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
80	Balkhis Abu Bakar, Tomasz Janowski	Automated Result Verification with AWK.	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
76	Stefan Borovac, Gerhard Heindl	Result Verification for Computational Problems in Geodesy.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
60	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 DOI BibTeX RDF
60	Sylvie Putot, Eric Goubault, Matthieu Martel	Static Analysis-Based Validation of Floating-Point Computations.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
60	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
60	R. Baker Kearfott, Markus Neher 0001, 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
60	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
60	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
60	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
60	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
60	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
60	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
60	Götz Alefeld, Günter Mayer	On Singular Interval Systems.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
60	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
60	Markus Grimmer, Knut Petras, Nathalie Revol	Multiple Precision Interval Packages: Comparing Different Approaches.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
60	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
60	Hermann Schichl	Global Optimization in the COCONUT Project.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
60	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
60	Jürgen Wolff von Gudenberg	OOP and Interval Arithmetic - Language Support and Libraries.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
55	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
47	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
36	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
21	Alexandros Stamatakis, Fernando Izquierdo-Carrasco	Result verification, code verification and computation of support values in phylogenetics.	Briefings Bioinform.	2011	DBLP DOI BibTeX RDF
21	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
21	R. Baker Kearfott	Interval Analysis: Verifying Feasibility.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
21	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
21	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
21	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
21	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
20	Gaurav Singh 0006, 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
16	Qiuyun Tong, Xinghua Li 0001, Yinbin Miao, Yunwei Wang, Ximeng Liu, Robert H. Deng	Beyond Result Verification: Efficient Privacy-Preserving Spatial Keyword Query With Suppressed Leakage.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
16	Stanislav Kruglik, Son Hoang Dau, Han Mao Kiah, Huaxiong Wang	Two-Server Private Information Retrieval with Optimized Download Rate and Result Verification.	CoRR	2023	DBLP DOI BibTeX RDF
16	Carlos Efrain Quintero Narvaez, Raúl Monroy Borja	Zero-Knowledge Proofs for Questionnaire Result Verification in Smart Contracts.	CoRR	2023	DBLP DOI BibTeX RDF
16	Stanislav Kruglik, Son Hoang Dau, Han Mao Kiah, Huaxiong Wang	Two-Server Private Information Retrieval with Optimized Download Rate and Result Verification.	ISIT	2023	DBLP DOI BibTeX RDF
16	Pengzhen Ke, Liang Feng Zhang	Private Information Retrieval with Result Verification for More Servers.	ACNS	2023	DBLP DOI BibTeX RDF
16	Jie Cui 0004, Yue Sun, Yan Xu 0007, Miaomiao Tian 0001, Hong Zhong 0001	Forward and backward secure searchable encryption with multi-keyword search and result verification.	Sci. China Inf. Sci.	2022	DBLP DOI BibTeX RDF
16	Daniele Didino, Matthias Brandtner, André Knops	No influence of masked priming on the multiplication fact retrieval in a result verification task.	J. Numer. Cogn.	2022	DBLP DOI BibTeX RDF
16	Pengzhen Ke, Liang Feng Zhang	Two-Server Private Information Retrieval with Result Verification.	ISIT	2022	DBLP DOI BibTeX RDF
16	Haiyu Li, Tao Wang 0039, Zirui Qiao, Bo Yang 0003, Yueyang Gong, Jingyi Wang, Guoyong Qiu	Blockchain-based searchable encryption with efficient result verification and fair payment.	J. Inf. Secur. Appl.	2021	DBLP DOI BibTeX RDF
16	Benjamin Körbel, Marten Sigwart, Philipp Frauenthaler, Michael Sober, Stefan Schulte 0002	Blockchain-based Result Verification for Computation Offloading.	CoRR	2021	DBLP BibTeX RDF
16	Benjamin Körbel, Marten Sigwart, Philipp Frauenthaler, Michael Sober, Stefan Schulte 0002	Blockchain-Based Result Verification for Computation Offloading.	ICSOC	2021	DBLP DOI BibTeX RDF
16	Saksiri Meesawad, Bundit Thanasopon, Olarn Wongwirat	A Result Verification of Decision Tree Model for Industrial Wireless Sensors Selection using Analytic Hierarchy Process.	JCSSE	2019	DBLP DOI BibTeX RDF
16	Muhammad Nouman Durrani, Tasmiyah Iqbal, Jawwad Ahmed Shamsi, Nadeem Kafi Khan	Towards Real-Time Result Verification Using Checkpointing in Volunteer Computing Systems.	ISORC	2015	DBLP DOI BibTeX RDF
16	Hui Peng 0002, Xiaoying Zhang, Hong Chen 0001, Yuncheng Wu, Yao Wu, Juru Zeng	Enable Privacy Preservation and Result Verification for Top-k Query in Two-Tiered Sensor Networks.	TrustCom/BigDataSE/ISPA (1)	2015	DBLP DOI BibTeX RDF
16	Yan Ding, Huaimin Wang, Peichang Shi, Hongyi Fu, Xinhai Xu	Towards Trusted Result Verification in Mass Data Processing Service.	IEICE Trans. Commun.	2014	DBLP DOI BibTeX RDF
16	Gaurav Pareek, Chetanya Goyal, Mukesh Nayal	A Result Verification Scheme for MapReduce Having Untrusted Participants.	ISI (2)	2014	DBLP DOI BibTeX RDF
16	Ekaterina Auer	Result Verification and Uncertainty Management in Engineering Applications.		2014	RDF
16	Yan Ding, Huaimin Wang, Peichang Shi, Hongyi Fu, Changguo Guo, Muhua Zhang	Trusted Sampling-Based Result Verification on Mass Data Processing.	SOSE	2013	DBLP DOI BibTeX RDF
16	Friederike Voos	Result Verification for the Real Quadratic Eigenvalue Problem.	SIAM J. Matrix Anal. Appl.	2012	DBLP DOI BibTeX RDF
16	Chu Huang, Sencun Zhu, Dinghao Wu	Towards Trusted Services: Result Verification Schemes for MapReduce.	CCGRID	2012	DBLP DOI BibTeX RDF
16	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
16	Carsten Binnig, Donald Kossmann, Eric Lo 0001, Angel Saenz-Badillos	Automatic Result Verification for the Functional Testing of a Query Language.	ICDE	2008	DBLP DOI BibTeX RDF
16	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
16	Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger	Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification.	MMB	2004	DBLP BibTeX RDF
16	Edgar F. A. Lederer, Romeo A. Dumitrescu	Automatic Result Verification by Complete Run-Time Checking of Computations.	Int. J. Found. Comput. Sci.	2001	DBLP DOI BibTeX RDF
16	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
11	Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson	Software Tamper Resistance Using Program Certificates.	SAFECOMP	2003	DBLP DOI BibTeX RDF
10	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
5	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. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	instruction duplication, reliability, Embedded systems, compilers, energy consumption, soft errors
5	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
4	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
4	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
4	Evgenija D. Popova	Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
4	Evgenija D. Popova	Improved Solution Enclosures for Over- and Underdetermined Interval Linear Systems.	LSSC	2005	DBLP DOI BibTeX RDF
4	Steven Gordon, Lars Michael Kristensen, Jonathan Billington	Verification of a Revised WAP Wireless Transaction Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF
4	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
4	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