Search results for "errors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Seon-Yeong Han, Nael B. Abu-Ghazaleh	On Backoff in Fading Wireless Channels.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF
11	Jianjun Xu, Qingping Tan, Rui Shen	A Novel Optimum Data Duplication Approach for Soft Error Detection.	APSEC	2008	DBLP DOI BibTeX RDF
11	Xiao-Xin Zhang, Yuping Zhao	Joint Estimation for Both AGC and DC Based on Distribution Function for OFDM Systems.	ICC	2008	DBLP DOI BibTeX RDF
11	Syrine Tlili, Mourad Debbabi	Type and Effect Annotations for Safe Memory Access in C.	ARES	2008	DBLP DOI BibTeX RDF	Type and Effect Analysis, Type Annotations, Memory Safety, C Programming
11	Zhihui Hu, Howard Leung, Yun Xu	Automated Chinese Handwriting Error Detection Using Attributed Relational Graph Matching.	ICWL	2008	DBLP DOI BibTeX RDF	Chinese handwriting error detection, stroke spatial relationship error, stroke spatial relationship error, error-tolerant graph matching, attributed relational graph
11	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Syed Adnan Hussain Shah	Evaluation of Ontologies and DL Reasoners.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF
11	Travis Dierks, Sarangapani Jagannathan	Neural network output feedback control of a quadrotor UAV.	CDC	2008	DBLP DOI BibTeX RDF
11	Torsten Hoefler, Timo Schneider, Andrew Lumsdaine	Accurately measuring collective operations at massive scale.	IPDPS	2008	DBLP DOI BibTeX RDF
11	James Cheney	FLUX: functional updates for XML.	ICFP	2008	DBLP DOI BibTeX RDF	update languages, XML, static analysis, type systems
11	Tuomas Korhonen	Adaptive Spell Checker for Dyslexic Writers.	ICCHP	2008	DBLP DOI BibTeX RDF	dyslexia, spell-checking, spelling
11	Avijit Dutta, Abhijit Jas	Combinational Logic Circuit Protection Using Customized Error Detecting and Correcting Codes.	ISQED	2008	DBLP DOI BibTeX RDF	EDAC, adhoc code, customizable codes, ECC
11	Christopher Thomson, Mike Holcombe	Correctness of data mined from CVS.	MSR	2008	DBLP DOI BibTeX RDF	data mining, correctness, CVS
11	Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, Thierry Coupaye	A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems.	DAIS	2008	DBLP DOI BibTeX RDF
11	Yun-Suk Kang, Yo-Sung Ho	Geometrical Compensation Algorithm of Multiview Image for Arc Multi-camera Arrays.	PCM	2008	DBLP DOI BibTeX RDF	Multiview Image, Geometric Compensation, Multi-Camera Arrays
11	Muhammad Usman Ilyas, Hayder Radha	On measuring memory length of the error rate process in wireless channels.	CISS	2008	DBLP DOI BibTeX RDF
11	Jaydeb Bhaumik, Dipanwita Roy Chowdhury, Indrajit Chakrabarti	An Improved Double Byte Error Correcting Code Using Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	Byte Error Correcting Code, RS Code and VLSI, Cellular Automata
11	Dimitrios A. Karras	Efficient MRI Reconstruction Using a Hybrid Framework for Integrating Stepwise Bayesian Restoration and Neural Network Models in a Memory Based Priors System.	HAIS	2008	DBLP DOI BibTeX RDF	MRI Reconstruction, Bayesian Restoration, Bayesian priors, Systems with memory, k-space, SVM, MLP
11	Diego Piazza, Laurence B. Milstein	Analysis of multiuser diversity in time-varying channels.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
11	Tuncer Baykas, Mohamed Siala 0001, Abbas Yongaçoglu	Generalized decorrelating discrete-time rake receiver.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
11	Hossein Asadi 0001, Mehdi Baradaran Tahoori	Analytical Techniques for Soft Error Rate Modeling and Mitigation of FPGA-Based Designs.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
11	Han Liang, Piyush Mishra, Kaijie Wu 0001	Error Correction On-Demand: A Low Power Register Transfer Level Concurrent Error Correction Technique.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Concurrent error detection, register-transfer level, single-event upsets, hardware redundancy
11	Jun Won Choi, Byonghyo Shim, Andrew C. Singer, Nam Ik Cho	Low-Power Filtering Via Minimum Power Soft Error Cancellation.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
11	Albert Meixner, Daniel J. Sorin	Error Detection Using Dynamic Dataflow Verification.	PACT	2007	DBLP DOI BibTeX RDF
11	Xiang Ao, XuGang Wang, Feng Tian 0001, Guozhong Dai, Hongan Wang	Crossmodal error dorrection of continuous handwriting recognition by speech.	IUI	2007	DBLP DOI BibTeX RDF	weighted phoneme, handwriting recognition, error correction, speech, multimodal fusion, phoneme
11	Bas Ploeger, Lou J. Somers	Analysis and verification of an automatic document feeder.	SAC	2007	DBLP DOI BibTeX RDF	copier, mCRL, process algebra, document systems
11	Jangwoo Kim, Nikos Hardavellas, Ken Mai, Babak Falsafi, James C. Hoe	Multi-bit Error Tolerant Caches Using Two-Dimensional Error Coding.	MICRO	2007	DBLP DOI BibTeX RDF
11	Davud Asemani, Jacques Oksman	Sensitivity of Time-Division Multiplexing Parallel A/D Converters to Analog Imperfection.	SiPS	2007	DBLP DOI BibTeX RDF
11	Isil Dillig, Thomas Dillig, Alex Aiken	Static error detection using semantic inconsistency inference.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, error detection, satisfiability, inconsistency
11	Li Zhang 0006, Xiangyang Ji, Wen Gao 0001, Debin Zhao	Adaptive Spatial and Transform Domain FGS Coding.	ICME	2007	DBLP DOI BibTeX RDF
11	Lide Fang, Jinhai Li, Suosheng Cao, Yan Zhu, Xiangjie Kong 0002	Dynamic Error of Heat Measurement in Transient.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Dynamic heat meter, variable flow heating system, step change, flux
11	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
11	Joon-Myung Kang, Hong-Taek Ju, Mi-Jung Choi, James Won-Ki Hong	OMA DM Based Remote Software Debugging of Mobile Devices.	APNOMS	2007	DBLP DOI BibTeX RDF	Mobile Device Diagn-ostics, OMA DM, OMA DM DiagMon, Software Debugging, Device Management
11	Pieter Harpe, Athon Zanikopoulos, Hans Hegt, Arthur H. M. van Roermund	Analog Calibration of Mismatches in an Open-Loop Track-and-Hold Circuit for Time-Interleaved ADCs.	ISCAS	2007	DBLP DOI BibTeX RDF
11	Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Automated Derivation of Application-aware Error Detectors using Static Analysis.	IOLTS	2007	DBLP DOI BibTeX RDF	Critical Variables, backward slicing, checking expression, Compiler techniques, path-tracking
11	Mehdi Kamal, Somayyeh Koohi, Shaahin Hessabi	Empirical Analysis of the Dependence of Test Power, Delay, Energy and Fault Coverage on the Architecture of LFSR-Based TPGs.	DFT	2007	DBLP DOI BibTeX RDF
11	Jeong-Sig Kim, Keun-Young Lee	Performance Enhancement of Error Resilient Entropy Coding on Block Based Bitstream of SPIHT.	MMM (2)	2007	DBLP DOI BibTeX RDF	Error Resilient Entropy Coding, SPIHT (Set Partitioning in Hierarchical Tree), VLC (Variable-Length Code), Wavelet Transform, DCT
11	Mehdi Pirooznia, Youping Deng	Efficiency of Hybrid Normalization of Microarray Gene Expression: A Simulation Study.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
11	Claudio Sacerdoti Coen, Stefano Zacchiroli	Spurious Disambiguation Error Detection.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
11	Zhihai He, Hongkai Xiong	Transmission Distortion Analysis for Real-Time Video Encoding and Streaming Over Wireless Networks.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
11	Xiaojun Tian, Yuechao Wang, Ning Xi 0001, Zaili Dong, Wenjung Li	Accurate Positioning of AFM Probe for AFM Based Robotic Nanomanipulation System.	IROS	2006	DBLP DOI BibTeX RDF
11	So Taoka, Tatsuya Harada, Tomomasa Sato, Taketoshi Mori	Imitation Learning System to Assist Human Task Interactively.	IROS	2006	DBLP DOI BibTeX RDF
11	Ujjwal Bhattacharya, Bikash Shaw, Swapan K. Parui	Analysis of Error Sources Towards Improved Form Processing.	ICIT	2006	DBLP DOI BibTeX RDF
11	Myo Tun, W. A. C. Fernando	An Error-Resilient Algorithm Based on Partitioning of the Wavelet Transform Coefficients for a DIRAC Video Codec.	IV	2006	DBLP DOI BibTeX RDF	error resilient coding, coefficient partitioning, DIRAC, wavelets
11	Jong-Suk Ahn, Young-Su Lee, Jong-Hyuk Yoon, Kang-Woo Lee	Analyzing the Effect of a Block FEC Algorithm's Symbol Size on Energy Consumption in Wireless Sensor Networks.	UCS	2006	DBLP DOI BibTeX RDF
11	Peng Liu 0001, Frank K. Soong	Word graph based speech rcognition error correction by handwriting input.	ICMI	2006	DBLP DOI BibTeX RDF	interactive error correction, speech recognition, handwriting recognition, multimodal interface, word graph
11	Ling-Jyh Chen, Tony Sun, Yung-Chih Chen	Improving Bluetooth EDR Data Throughput Using FEC and Interleaving.	MSN	2006	DBLP DOI BibTeX RDF
11	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
11	Soong Hyun Shin, Sung Woo Chung, Chu Shik Jhon	On the Reliability of Drowsy Instruction Caches.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
11	Oksana Tkachuk, Sreeranga P. Rajan	Application of automated environment generation to commercial software.	ISSTA	2006	DBLP DOI BibTeX RDF	environment generation, modular model checking
11	Qifa Ke, Takeo Kanade	Uncertainty Models in Quasiconvex Optimization for Geometric Reconstruction.	CVPR (1)	2006	DBLP DOI BibTeX RDF
11	Konrad J. Kulikowski, Mark G. Karpovsky, Alexander Taubin	Fault Attack Resistant Cryptographic Hardware with Uniform Error Detection.	FDTC	2006	DBLP DOI BibTeX RDF
11	Michael S. Fox-Rabinovitz, Vladimir M. Krasnopolsky, Alexei A. Belochitski	Ensemble of Neural Network Emulations for Climate Model Physics: The Impact on Climate Simulations.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner	Thorough static analysis of device drivers.	EuroSys	2006	DBLP DOI BibTeX RDF	formal verification, software model checking
11	Vladimir Stojanovic, R. Iris Bahar, Jennifer Dworak, Richard Weiss 0001	A cost-effective implementation of an ECC-protected instruction queue for out-of-order microprocessors.	DAC	2006	DBLP DOI BibTeX RDF	instruction queue, reliability, error correcting codes
11	Claude Oestges, Bruno Clerckx, Danielle Vanhoenacker-Janvier, Arogyaswami Paulraj	Impact of fading correlations on MIMO communication systems in geometry-based statistical channel models.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
11	Karthikeyan Bhargavan, Carl A. Gunter	Network Event Recognition.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	correctness of implementations, languages for network protocols, network event recognition, NERL, Network monitoring, protocol verification, formal analysis
11	Anand L. D'Souza, Michael S. Hsiao	Error Diagnosis of Sequential Circuits Using Region-Based Model.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	non-enumerative, diagnosis, sequential, region-based
11	Shubhendu S. Mukherjee, Joel S. Emer, Steven K. Reinhardt	The Soft Error Problem: An Architectural Perspective.	HPCA	2005	DBLP DOI BibTeX RDF
11	Sylvain Hallé	Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning.	MICAI	2005	DBLP DOI BibTeX RDF
11	V. Benjamin Livshits, Thomas Zimmermann 0001	DynaMine: finding common error patterns by mining software revision histories.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
11	Dennis Dams, Kedar S. Namjoshi	Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.	FMCO	2005	DBLP DOI BibTeX RDF
11	Torsten Palm	Semantic Tags: Evaluating the Functioning of Rules in a Knowledge Based System.	KES (2)	2005	DBLP DOI BibTeX RDF
11	Patrick Ndai, Amit Agarwal 0001, Qikai Chen, Kaushik Roy 0001	A Soft Error Monitor Using Switching Current Detection.	ICCD	2005	DBLP DOI BibTeX RDF
11	Donald J. Berndt, Alison Watkins	High Volume Software Testing using Genetic Algorithms.	HICSS	2005	DBLP DOI BibTeX RDF
11	A. P. Sakis Meliopoulos, George J. Cokkinides, Michael R. Ingram, Sandra C. Bell, Sherica Mathews	Visualization and Animation of State Estimation Performance.	HICSS	2005	DBLP DOI BibTeX RDF
11	Dawson R. Engler	Static Analysis Versus Model Checking for Bug Finding.	CONCUR	2005	DBLP DOI BibTeX RDF
11	Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner 0001, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner	One evaluation of model-based testing and its automation.	ICSE	2005	DBLP DOI BibTeX RDF	abstraction, coverage, test case generation, CASE, model-based development, automotive software
11	Robert J. Price, Anthony E. Zukas	Application of Latent Semantic Indexing to Processing of Noisy Text.	ISI	2005	DBLP DOI BibTeX RDF
11	Katsumi Sakakibara, Jiro Yamakita	Performance comparison of imperfect symbol- and bit-interleaving of block codes over GF(2m) on a Markovian channel.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
11	Nick Feamster	Practical verification techniques for wide-area routing.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
11	Mechelle Gittens, Hanan Lutfiyya, Michael A. Bauer 0001	Continuous evolutionary one-step-ahead testing.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF
11	A. M. Frolov	A Hybrid Approach to Enhancing the Reliability of Software.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
11	Alex Groce, Willem Visser	Heuristics for model checking Java programs.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Testing, Heuristic search, Coverage metrics
11	James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy	Righting Software.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	software engineering, model checking, formal methods, coding tools and techniques
11	Yahong Rosa Zheng, Rafik A. Goubran, Mohamed El-Tanany	Robust near-field adaptive beamforming with distance discrimination.	IEEE Trans. Speech Audio Process.	2004	DBLP DOI BibTeX RDF
11	Hideya Iwasaki, Kumiko Tanaka-Ishii	An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry.	IJCNLP	2004	DBLP DOI BibTeX RDF
11	Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo	Verifying Web Applications Using Bounded Model Checking.	DSN	2004	DBLP DOI BibTeX RDF
11	Enylton Machado Coelho, Blair MacIntyre, Simon Julier	OSGAR: A Scene Graph with Uncertain Transformations.	ISMAR	2004	DBLP DOI BibTeX RDF
11	Xiaoli Li 0002, Xinping Guan, Yan Li	A Hybrid Radial Basis Function Neural Network for Dimensional Error Prediction in End Milling.	ISNN (2)	2004	DBLP DOI BibTeX RDF
11	Xiaobin Li, Jean-Luc Gaudiot	A Compiler-Assisted On-Chip Assigned-Signature Control Flow Checking.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
11	R. S. D. Wahida Banu, R. Sathish Kumar	Using Selectional Restrictions for Real Word Error Correction.	AACC	2004	DBLP DOI BibTeX RDF
11	Lujun Yuan, Feng Wu 0001, Qi Chen, Shipeng Li 0001, Wen Gao 0001	The fast close-loop video transcoder with limited drifting error.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
11	Yuvraj Singh Dhillon, Abdulkadir Utku Diril, Abhijit Chatterjee, Adit D. Singh	Sizing CMOS Circuits for Increased Transient Error Tolerance.	IOLTS	2004	DBLP DOI BibTeX RDF
11	Toshio Moriya, Fumiko Beniyama, Kei Utsugi, Tsuyoshi Minakawa, Haruo Takeda, Kenji Ando	Multi-camera and Multi-projector based Seamless Live Image Display System.	MMM	2004	DBLP DOI BibTeX RDF
11	Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen	Validating the Unit Correctness of Spreadsheet Programs.	ICSE	2004	DBLP DOI BibTeX RDF
11	Shubhendu S. Mukherjee, Joel S. Emer, Tryggve Fossum, Steven K. Reinhardt	Cache Scrubbing in Microprocessors: Myth or Necessity?	PRDC	2004	DBLP DOI BibTeX RDF
11	Sunil Rafeeque, Vinita Vasudevan	A Built-in-Self-Test Scheme for Digital to Analog Converters.	VLSI Design	2004	DBLP DOI BibTeX RDF
11	Amit K. Roy-Chowdhury, Rama Chellappa	Stochastic Approximation and Rate-Distortion Analysis for Robust Structure and Motion Estimation.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF	structure and motion estimation, Robbins-Monro stochastic approximation, error analysis, rate distortion theory
11	Sylvana Sofkova Hashemi, Robin Cooper, Robert Andersson	Positive Grammar Checking: A Finite State Approach.	CICLing	2003	DBLP DOI BibTeX RDF
11	David L. Heine, Monica S. Lam	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	PLDI	2003	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
11	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
11	Dennis F. Galletta, Alexandra Durcikova, Andrea Everard, Brian M. Jones	Cognitive Fit and an Intelligent Agent for a Word Processor: Should Users Take All That Advice?	HICSS	2003	DBLP DOI BibTeX RDF
11	Kawal S. Rhode, Derek L. G. Hill, Philip J. Edwards, John H. Hipwell, Daniel Rueckert, Gerardo I. Sanchez-Ortiz, Sanjeet Hegde, Vithuran Rahunathan, Reza Razavi	Application of XMR 2D-3D Registration to Cardiac Interventional Guidance.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
11	Hyotaek Lim, Joo-Seok Song	A New Cell Loss Recovery Scheme for Data Services in B-ISDN.	ICOIN	2003	DBLP DOI BibTeX RDF
11	Qin Xin 0005, Ethan L. Miller, Thomas J. E. Schwarz, Darrell D. E. Long, Scott A. Brandt, Witold Litwin	Reliability Mechanisms for Very Large Storage Systems.	IEEE Symposium on Mass Storage Systems	2003	DBLP DOI BibTeX RDF
11	Stefan Agne, Andreas Dengel 0001, Bertin Klein	Evaluating SEE - A Benchmarking System for Document Page Segmentation.	ICDAR	2003	DBLP DOI BibTeX RDF
11	Ponrudee Netisopakul, Lee J. White, John Morris	Data Coverage Testing.	APSEC	2002	DBLP DOI BibTeX RDF
11	Chun Wai Liew, Donald E. Smith	Reasoning about Systems of Physics Equations.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
11	Anton Minko, Guy Gouardères, Orest Popov	Qualitative Assessment on Aeronautical Training with Cognitive Agents.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF	qualitative simu-lation, error diagnostic, multi-agent systems, Simulation-based training, aeronautics
11	Changli Jiao, Loren Schwiebert, Bin Xu	On Modeling the Packet Error Statistics in Bursty Channels.	LCN	2002	DBLP DOI BibTeX RDF