Search results for "division-by-zero"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	John D. Pryce, George F. Corliss	Interval Arithmetic with Containment Sets.	Computing	2006	DBLP DOI BibTeX RDF	validated computation, division by zero, containment set, cset, Interval arithmetic, infinity
32	Yunong Zhang, Yinyan Zhang, Dechao Chen, Zhengli Xiao, Xiaogang Yan	Division by zero, pseudo-division by zero, Zhang dynamics method and Zhang-gradient method about control singularity conquering.	Int. J. Syst. Sci.	2017	DBLP DOI BibTeX RDF
25	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
22	Jan A. Bergstra, John V. Tucker	The rational numbers as an abstract data type.	J. ACM	2007	DBLP DOI BibTeX RDF	division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra
16	Dániel Vince, Attila Szatmári, Ákos Kiss 0001, Árpád Beszédes	Division by Zero: Threats and Effects in Spectrum-Based Fault Localization Formulas.	QRS	2022	DBLP DOI BibTeX RDF
16	Yunong Zhang, Yihong Ling, Min Yang 0010, Jian Li 0018, Mingzhi Mao	Exemplar Different-Level Quadratic Minimization, Division-by-Zero Issue, and Comparative Solutions.	ICSAI	2018	DBLP DOI BibTeX RDF
16	Yunong Zhang, Jinjin Guo, Binbin Qiu, Jian Li 0018, Zhi Yang 0004	Stabilization of three time-varying linear systems using ZG method with pseudo division-by-zero phenomena displayed.	ICSAI	2017	DBLP DOI BibTeX RDF
16	Yunong Zhang, Jinjin Guo, Deyang Zhang, Binbin Qiu, Zhi Yang 0004	Output tracking of time-varying linear system using ZD controller with pseudo division-by-zero phenomenon illustrated.	IECON	2017	DBLP DOI BibTeX RDF
16	Yunong Zhang, Huihui Gong, Jian Li 0018, Huanchang Huang, Ziyu Yin	Symbolic Solutions to Division by Zero Problem via Gradient Neurodynamics.	ICONIP (3)	2017	DBLP DOI BibTeX RDF
16	Emil Jerábek	Division by zero.	CoRR	2016	DBLP BibTeX RDF
16	Emil Jerábek	Division by zero.	Arch. Math. Log.	2016	DBLP DOI BibTeX RDF
16	Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein	Short Note on Costs of Floating Point Operations on current x86-64 Architectures: Denormals, Overflow, Underflow, and Division by Zero.	CoRR	2015	DBLP BibTeX RDF
16	Jan A. Bergstra, Cornelis A. Middelburg	Division by zero in non-involutive meadows.	J. Appl. Log.	2015	DBLP DOI BibTeX RDF
16	Jan A. Bergstra, Alban Ponse	Division by Zero in Common Meadows.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
16	Jan A. Bergstra, Cornelis A. Middelburg	Division by zero in non-involutive meadows.	CoRR	2014	DBLP BibTeX RDF
16	Chaowei Hu, Ying Wang 0031, Xiangui Kang, Dongsheng Guo, Yunong Zhang	ZG trajectory generation of Van der Pol oscillator in affine-control form with division-by-zero problem handled.	ICNC	2014	DBLP DOI BibTeX RDF
16	Yunong Zhang, Ying Wang 0031, Yonghua Yin, Long Jin 0001, Dechao Chen	ZG controllers for output tracking of nonlinear mass-spring-damper mechanical system with division-by-zero problem solved.	ROBIO	2013	DBLP DOI BibTeX RDF
16	Jesper Carlström	Wheels - on division by zero.	Math. Struct. Comput. Sci.	2004	DBLP DOI BibTeX RDF
16	Jan Mayer	An Approach to Overcome Division by Zero in the Interval Gauss Algorithm.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
8	Artemis K. Kostarigka, George A. Rovithakis	Adaptive Neural Network Tracking Control With Disturbance Attenuation for Multiple-Input Nonlinear Systems.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
8	Alan M. Frisch, Peter J. Stuckey	The Proper Treatment of Undefinedness in Constraint Languages.	CP	2009	DBLP DOI BibTeX RDF
8	Branimir Lambov	Interval Arithmetic Using SSE-2.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
8	Steven M. German	Automating Proofs of the Absence of Common Runtime Errors.	POPL	1978	DBLP DOI BibTeX RDF