Search results for "correctors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
158	Chunrong Lai, Shih-Lien Lu, Yurong Chen 0001, Trista Pei-Chun Chen	Improving branch prediction accuracy with parallel conservative correctors.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	confidence mechanism, branch prediction, corrector
75	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
64	John J. Kohfeld, Gene Thomas Thompson	Multistep Methods With Modified Predictors and Correctors.	J. ACM	1967	DBLP DOI BibTeX RDF
64	Anish Arora, Sandeep S. Kulkarni	Component Based Design of Multitolerant Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	compositional design, interference-freedom, stepwise design, fault-tolerance, Formal methods, dependability, graceful degradation, detectors, correctors
56	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora	Disassembling real-time fault-tolerant programs.	EMSOFT	2008	DBLP DOI BibTeX RDF	bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition
56	Manuel Blum 0001, Bruno Codenotti, Peter Gemmell, Troy Shahoumian	Self-Correcting for Function Fields Transcendental Degree.	ICALP	1995	DBLP DOI BibTeX RDF
56	John J. Kohfeld, Gene Thomas Thompson	A Modification of Nordsieck's Method Using an "Off-Step" Point.	J. ACM	1968	DBLP DOI BibTeX RDF
45	Utsav Boobna, Michel de Rougemont	Correctors for XML Data.	XSym	2004	DBLP DOI BibTeX RDF
45	Mukundan Sridharan, Sandip Bapat, Rajiv Ramnath, Anish Arora	Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation.	SAC	2008	DBLP DOI BibTeX RDF	autonomic software design, detectors and correctors, wireless sensor testbed, fault-tolerance
45	Sandeep S. Kulkarni, Ali Ebnenasir	Adding Fault-Tolerance Using Pre-synthesized Components.	EDCC	2005	DBLP DOI BibTeX RDF	Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
38	Fred T. Krogh	Predictor-Corrector Methods of High Order With Improved Stability Characteristics.	J. ACM	1966	DBLP DOI BibTeX RDF
26	Zhiqiang Zhong, Kuangyu Zhou, Davide Mottin	Harnessing Large Language Models as Post-hoc Correctors.	CoRR	2024	DBLP DOI BibTeX RDF
26	Milos Grujic, Ingrid Verbauwhede	Optimizing Linear Correctors: A Tight Output Min-Entropy Bound and Selection Technique.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
26	Chong Zhang, Pengbo Qin, Qingtian Lü, Wenna Zhou, Jiayong Yan	Two New Methods Based on Implicit Expressions and Corresponding Predictor-Correctors for Gravity Anomaly Downward Continuation and Their Comparison.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
26	WeiGuo Zhang 0001	Analysis and Construction of Nonlinear Correctors Used in True Random Number Generators.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
26	Milos Grujic, Ingrid Verbauwhede	Optimizing Linear Correctors: A Tight Output Min-Entropy Bound and Selection Technique.	CoRR	2023	DBLP DOI BibTeX RDF
26	Venkat Nemani, Hao Lu, Adam Thelen, Chao Hu, Andrew T. Zimmerman	Ensembles of probabilistic LSTM predictors and correctors for bearing prognostics using industrial standards.	Neurocomputing	2022	DBLP DOI BibTeX RDF
26	Jianfeng Lu 0001, Felix Otto, Lihan Wang	Optimal artificial boundary conditions based on second-order correctors for three dimensional random elliptic media.	CoRR	2021	DBLP BibTeX RDF
26	Markus Gahn, Willi Jäger, Maria Neuss-Radu	Correctors and error estimates for reaction-diffusion processes through thin heterogeneous layers in case of homogenized equations with interface diffusion.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
26	Negar Aghapour Sabbagh, Bijan Alizadeh	Arithmetic Circuit Correction by Adding Optimized Correctors Based on Groebner Basis Computation.	ETS	2021	DBLP DOI BibTeX RDF
26	Fioralba Cakoni, Bojan B. Guzina, Shari Moskow, Tayler Pangburn	Scattering by a Bounded Highly Oscillating Periodic Medium and the Effect of Boundary Correctors.	SIAM J. Appl. Math.	2019	DBLP DOI BibTeX RDF
26	Houda Ferradi, Rémi Géraud, Diana Maimut, David Naccache, Amaury de Wargny	Regulating the pace of von Neumann correctors.	J. Cryptogr. Eng.	2018	DBLP DOI BibTeX RDF
26	Mai Duc Thanh	Completing a well-balanced numerical method for a model of two-phase flows by computing correctors.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
26	Clément L. Canonne, Themis Gouleakis, Ronitt Rubinfeld	Sampling Correctors.	SIAM J. Comput.	2018	DBLP DOI BibTeX RDF
26	Peter Bella, Benjamin J. Fehrman, Julian Fischer, Felix Otto	Stochastic Homogenization of Linear Elliptic Equations: Higher-Order Error Estimates in Weak Norms Via Second-Order Correctors.	SIAM J. Math. Anal.	2017	DBLP DOI BibTeX RDF
26	Antoine Gloria, Zakaria Habibi	Reduction in the Resonance Error in Numerical Homogenization II: Correctors and Extrapolation.	Found. Comput. Math.	2016	DBLP DOI BibTeX RDF
26	Vo Anh Khoa, Adrian Muntean	A note on iterations-based derivations of high-order homogenization correctors for multiscale semi-linear elliptic equations.	Appl. Math. Lett.	2016	DBLP DOI BibTeX RDF
26	Clément L. Canonne, Themis Gouleakis, Ronitt Rubinfeld	Sampling Correctors.	ITCS	2016	DBLP DOI BibTeX RDF
26	Clément L. Canonne, Themis Gouleakis, Ronitt Rubinfeld	Sampling Correctors.	CoRR	2015	DBLP BibTeX RDF
26	Imen Chourabi, Patrizia Donato	Homogenization and correctors of a class of elliptic problems in perforated domains.	Asymptot. Anal.	2015	DBLP DOI BibTeX RDF
26	Houda Ferradi, Rémi Géraud, Diana Maimut, David Naccache, Amaury de Wargny	Regulating the Pace of von Neumann Correctors.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
26	Christophe Prange	Asymptotic Analysis of Boundary Layer Correctors in Periodic Homogenization.	SIAM J. Math. Anal.	2013	DBLP DOI BibTeX RDF
26	Laurent Chupin, Sébastien Martin	Rigorous Derivation of the Thin Film Approximation with Roughness-Induced Correctors.	SIAM J. Math. Anal.	2012	DBLP DOI BibTeX RDF
26	Go Yamamoto, Tetsutaro Kobayashi	Self-correctors for Cryptographic Modules.	IMACC	2011	DBLP DOI BibTeX RDF
26	Ori Kalid, Martin Mense, Sharon Fischman, Alina Shitrit, Hermann Bihler, Efrat Ben-Zeev, Nili Schutz, Nicoletta Pedemonte, Philip J. Thomas, Robert J. Bridges	Small molecule correctors of F508del-CFTR discovered by structure-based virtual screening.	J. Comput. Aided Mol. Des.	2010	DBLP DOI BibTeX RDF
26	Patrick Lacharme	Analysis and construction of correctors.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
26	Fei-Hu Hsieh, Hen-Kung Wang, Po-Lun Chang, Chi-Syuan Chang	Intermediate-Scale Instability Phenomena of Buck-Boost Power Factor Correctors.	HIS (1)	2009	DBLP DOI BibTeX RDF	Buck-boost converter, power factor corrector, voltage-mode control, intermediate-scale instability
26	Patrizia Donato, Florian Gaveau	Homogenization and correctors for the wave equation in non periodic perforated domains.	Networks Heterog. Media	2008	DBLP DOI BibTeX RDF
26	Marco Colombo, Jacek Gondzio	Further development of multiple centrality correctors for interior point methods.	Comput. Optim. Appl.	2008	DBLP DOI BibTeX RDF
26	Patrizia Donato, Luisa Faella, Sara Monsurrò	Correctors for the Homogenization of a Class of Hyperbolic Equations with Imperfect Interfaces.	SIAM J. Math. Anal.	2008	DBLP DOI BibTeX RDF
26	Guillaume Bal, Josselin Garnier, Sébastien Motsch, Vincent Perrier	Random integrals and correctors in homogenization.	Asymptot. Anal.	2008	DBLP DOI BibTeX RDF
26	José A. Villarejo, Javier Sebastián, Fulgencio Soto, Esther de Jódar	Optimizing the Design of Single-Stage Power-Factor Correctors.	IEEE Trans. Ind. Electron.	2007	DBLP DOI BibTeX RDF
26	Anish Prasai, Deepak Divan	Zero Energy Sag Correctors - Optimizing Dynamic Voltage Restorers for Industrial Applications.	IAS	2007	DBLP DOI BibTeX RDF
26	Yalchin Efendiev, Alexander Pankov	Numerical Homogenization and Correctors for Nonlinear Elliptic Equations.	SIAM J. Appl. Math.	2004	DBLP DOI BibTeX RDF
26	Dekai Wu, Grace Ngai, Marine Carpuat	Why Nitpicking Works: Evidence for Occam's Razor in Error Correctors.	COLING	2004	DBLP BibTeX RDF
26	Nguyen Huu Cong, Nguyen Thi Hong Minh	Parallel block pc methods with rkn-type correctors and adams-type predictors.	Int. J. Comput. Math.	2000	DBLP DOI BibTeX RDF
26	Javier Sebastián, Pedro José Villegas, Marta María Hernando, Fernando Nuño 0001, Francisco Fernández Linera	Average-current-mode control of two-input buck postregulators used in power-factor correctors.	IEEE Trans. Ind. Electron.	1999	DBLP DOI BibTeX RDF
26	Marta María Hernando, Javier Sebastián, Pedro José Villegas, Salvador Ollero	Improving dynamic response of power-factor correctors by using series-switching postregulator.	IEEE Trans. Ind. Electron.	1999	DBLP DOI BibTeX RDF
26	G. Redaelli, M. Corvino, V. Paderni, Arnaldo Spalvieri, Alberto Leva, D. Colonna	Analysis of two digital adaptive pre-correctors for nonlinearity in OFDM systems.	ICC	1999	DBLP DOI BibTeX RDF
26	Izaskun Aldezabal, Iñaki Alegria, Olatz Ansa, Jose Maria Arriola, Nerea Ezeiza	Designing spelling correctors for inflected languages using lexical transducers.	EACL	1999	DBLP BibTeX RDF
26	Anish Arora, Sandeep S. Kulkarni	Detectors and Correctors: A Theory of Fault-Tolerance Components.	ICDCS	1998	DBLP DOI BibTeX RDF
26	Benjamin Jansen, Kees Roos, Tamás Terlaky, Yinyu Ye 0001	Improved complexity using higher-order correctors for primal-dual Dikin affine scaling.	Math. Program.	1996	DBLP DOI BibTeX RDF
26	David G. Hendry, Thomas R. G. Green	Spelling mistakes: how well do correctors perform?	INTERCHI Adjunct Proceedings	1993	DBLP DOI BibTeX RDF
26	Peter Gemmell, Madhu Sudan 0001	Highly Resilient Correctors for Polynomials.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
26	Roger Mitton	Spelling checkers, spelling correctors and the misspellings of poor spellers.	Inf. Process. Manag.	1987	DBLP DOI BibTeX RDF
26	Rodger A. Cliff	Acceptable Testing of VLSI Components Which Contain Error Correctors.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF
26	Charles S. Wetherell	Why Automatic Error Correctors Fail.	Comput. Lang.	1977	DBLP DOI BibTeX RDF
26	D. J. Rodabaugh	On Stable Correctors.	Comput. J.	1970	DBLP DOI BibTeX RDF
26	Parikshit Gopalan, Adam R. Klivans, David Zuckerman	List-decoding reed-muller codes over small fields.	STOC	2008	DBLP DOI BibTeX RDF	fitting polynomials, self-correctors, reed-muller codes, list-decoding
26	A. Rousseau, Roger Temam, Joseph J. Tribbia	Boundary Layers in an Ocean Related System.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Primitive equations of the ocean, Transparent boundary conditions, Finite element method, Boundary layers, Correctors
26	Anish Arora, Sandeep S. Kulkarni	Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Masking and nonmasking fault-tolerance, stepwise design formal methods, distributed systems, component based design, detectors, correctors
26	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
26	Ronitt Rubinfeld	On the robustness of functional equations	FOCS	1994	DBLP DOI BibTeX RDF	self-correctors, functional equations robustness, self-testing programs, self correcting programs, self-testers, quantifiers
19	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Compositional verification of fault-tolerant real-time programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
19	Jaeha Kim, Kevin D. Jones, Mark A. Horowitz	Variable domain transformation for linear PAC analysis of mixed-signal systems.	ICCAD	2007	DBLP DOI BibTeX RDF	PAC analysis, domain transformation, linear analysis, simulation
19	Martin Schierle, Sascha Schulz, Markus Ackermann 0001	From Spelling Correction to Text Cleaning - Using Context Information.	GfKl	2007	DBLP DOI BibTeX RDF
19	Gregor Fischer, Jürgen Wolff von Gudenberg	Improving the quality of programming education by online assessment.	PPPJ	2006	DBLP DOI BibTeX RDF	quality of programs, testing, assessment, teaching, programming education
19	Sandip Bapat, Anish Arora	Stabilizing Reconfiguration in Wireless Sensor Networks.	SUTC (1)	2006	DBLP DOI BibTeX RDF
19	Andres Rivera-Ricardez, José Mariano Fernández Nava, Pedro Bañuelos Sánchez	Analysis and Simulation of Single-Stage Power Factor Correction Structures Based on DC-DC Converters.	CONIELECOMP	2006	DBLP DOI BibTeX RDF
19	Klaus Meer	Transparent Long Proofs: A First PCP Theorem for NPR.	ICALP	2004	DBLP DOI BibTeX RDF
19	William Leal, Anish Arora	Scalable Self-Stabilization via Composition.	ICDCS	2004	DBLP DOI BibTeX RDF
19	Felix C. Gärtner, Arshad Jhumka	Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
19	Martin Isenburg, Jack Snoeyink	Compressing Texture Coordinates with Selective Linear Predictions.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
19	Tzvetan Ostromsky, Zahari Zlatev	Parallel Implementation of a Large-Scale 3-D Air Pollution Model.	LSSC	2001	DBLP DOI BibTeX RDF	system of PDE's, shared memory computer, parallel algorithm, MPI, OpenMP, distributed memory computer, air pollution model
19	Wilson Rivera, Jianping Zhu, David H. Huddleston	An Efficient Parallel Algorithm for Solving Unsteady Nonlinear Equations.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
19	Nguyen Huu Cong, Karl Strehmel, Rüdiger Weiner, Helmut Podhaisky	Runge-Kutta-Nyström-type parallel block predictor-corrector methods.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	Runge-Kutta-Nyström methods, predictor-corrector methods, 65M20, parallelism, stability, 65M12
19	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
19	D. G. Brush, John J. Kohfeld, Gene Thomas Thompson	Solution of Ordinary Differential Equations Using Two "Off-Step" Points.	J. ACM	1967	DBLP DOI BibTeX RDF