Search results for "Correctors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	Chunrong Lai, Shih-Lien Lu, Yurong Chen, Trista Chen	Improving branch prediction accuracy with parallel conservative correctors.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	confidence mechanism, branch prediction, corrector
2	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
2	Utsav Boobna, Michel de Rougemont	Correctors for XML Data.	XSym	2004	DBLP DOI BibTeX RDF
2	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
2	John J. Kohfeld, Gene Thomas Thompson	Multistep Methods With Modified Predictors and Correctors.	J. ACM	1967	DBLP DOI BibTeX RDF
1	Go Yamamoto, Tetsutaro Kobayashi	Self-correctors for Cryptographic Modules.	IMA Int. Conf.	2011	DBLP DOI BibTeX RDF
1	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.	Journal of Computer-Aided Molecular Design	2010	DBLP DOI BibTeX RDF
1	Patrick Lacharme	Analysis and construction of correctors.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
1	Fei-Hu Hsieh, Hen-Kung Wang, Po-Lun Chang, Chi-Syuan Chang	Intermediate-Scale Instability Phenomena of Buck-Boost Power Factor Correctors.	HIS	2009	DBLP DOI BibTeX RDF	Buck-boost converter, power factor corrector, voltage-mode control, intermediate-scale instability
1	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
1	Patrizia Donato, Luisa Faella, Sara Monsurrò	Correctors for the Homogenization of a Class of Hyperbolic Equations with Imperfect Interfaces.	SIAM J. Math. Analysis	2008	DBLP DOI BibTeX RDF
1	Patrizia Donato, Florian Gaveau	Homogenization and correctors for the wave equation in non periodic perforated domains.	NHM	2008	DBLP BibTeX RDF
1	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
1	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
1	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
1	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
1	Martin Schierle, Sascha Schulz, Markus Ackermann	From Spelling Correction to Text Cleaning - Using Context Information.	GfKl	2007	DBLP DOI BibTeX RDF
1	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
1	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
1	Sandip Bapat, Anish Arora	Stabilizing Reconfiguration in Wireless Sensor Networks.	SUTC	2006	DBLP DOI BibTeX RDF
1	Yalchin Efendiev, A. Pankov	Numerical Homogenization and Correctors for Nonlinear Elliptic Equations.	SIAM Journal of Applied Mathematics	2004	DBLP DOI BibTeX RDF
1	A. Rousseau, R. Temam, 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
1	William Leal, Anish Arora	Scalable Self-Stabilization via Composition.	ICDCS	2004	DBLP DOI BibTeX RDF
1	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
1	Klaus Meer	Transparent Long Proofs: A First PCP Theorem for NPR.	ICALP	2004	DBLP DOI BibTeX RDF
1	Martin Isenburg, Jack Snoeyink	Compressing Texture Coordinates with Selective Linear Predictions.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
1	Wilson Rivera, Jianping Zhu, David H. Huddleston	An Efficient Parallel Algorithm for Solving Unsteady Nonlinear Equations.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Anish Arora, Sandeep S. Kulkarni	Detectors and Correctors: A Theory of Fault-Tolerance Components.	ICDCS	1998	DBLP DOI BibTeX RDF
1	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
1	Hal Wasserman, Manuel Blum	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
1	Benjamin Jansen, Kees Roos, Tamás Terlaky, Yinyu Ye	Improved complexity using higher-order correctors for primal-dual Dikin affine scaling.	Math. Program.	1996	DBLP DOI BibTeX RDF
1	Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian	Self-Correcting for Function Fields Transcendental Degree.	ICALP	1995	DBLP DOI BibTeX RDF
1	Manuel Blum, 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
1	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
1	David G. Hendry, Thomas R. G. Green	Spelling mistakes: how well do correctors perform?	INTERCHI Adjunct Proceedings	1993	DBLP DOI BibTeX RDF
1	Peter Gemmell, Madhu Sudan	Highly Resilient Correctors for Polynomials.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
1	Roger Mitton	Spelling checkers, spelling correctors and the misspellings of poor spellers.	Inf. Process. Manage.	1987	DBLP DOI BibTeX RDF
1	Rodger A. Cliff	Acceptable Testing of VLSI Components Which Contain Error Correctors.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF
1	Charles Wetherell	Why Automatic Error Correctors Fail.	Comput. Lang.	1977	DBLP DOI BibTeX RDF
1	D. J. Rodabaugh	On Stable Correctors.	Comput. J.	1970	DBLP DOI BibTeX RDF
1	John J. Kohfeld, Gene Thomas Thompson	A Modification of Nordsieck's Method Using an ``Off-Step'' Point.	J. ACM	1968	DBLP DOI BibTeX RDF
1	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
1	Fred T. Krogh	Predictor-Corrector Methods of High Order With Improved Stability Characteristics.	J. ACM	1966	DBLP DOI BibTeX RDF