Search results for "elementary functions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Adam W. Strzebonski	Real root isolation for tame elementary functions.	ISSAC	2009	DBLP DOI BibTeX RDF	real root isolation, solving equations, elementary functions
3	Shinobu Nagayama, Tsutomu Sasao	Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators.	ISMVL	2008	DBLP DOI BibTeX RDF	EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators
3	Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt	Reasoning about the Elementary Functions of Complex Analysis.	AISC	2000	DBLP DOI BibTeX RDF	Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts
3	Dennis F. Dunn, William E. Higgins, Joseph Wakeley	Texture Segmentation using 2-D Gabor Elementary Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	2-D Gabor elementary functions, textured image decomposition, joint space/spatial-frequency representation, texture differences, filter configurations, output discontinuities, step change, asymmetric filters, image segmentation, image segmentation, filtering and prediction theory, texture segmentation, ridge, band-pass filters, valley, bandpass filter
3	T. E. Hull, Thomas F. Fairgrieve, Ping Tak Peter Tang	Implementing complex elementary functions using exception handling.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	complex elementary functions, implementation
2	Shinobu Nagayama, Tsutomu Sasao	Complexities of Graph-Based Representations for Elementary Functions.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
2	Liang Chen, Chengmin Gao, Yong Xu	Non-interactive Evaluation of Encrypted Elementary Functions.	IAS	2009	DBLP DOI BibTeX RDF
2	Shinobu Nagayama, Tsutomu Sasao	Representations of Elementary Functions Using Edge-Valued MDDs.	ISMVL	2007	DBLP DOI BibTeX RDF
2	Jérémie Detrey, Florent de Dinechin, Xavier Pujol	Return of the hardware floating-point elementary function.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF	Floating-point elementary functions, hardware operator, FPGA, exponential, logarithm
2	Tsutomu Sasao, Shinobu Nagayama	Representations of Elementary Functions Using Binary Moment Diagrams.	ISMVL	2006	DBLP DOI BibTeX RDF
2	Koji Hashimoto, Vasily G. Moshnyaga, Kazuaki Murakami	Circuit Area-latency Optimization Technique for High-precision Elementary Functions.	APCCAS	2006	DBLP DOI BibTeX RDF
2	Kenny Johansson, Oscar Gustafsson, Lars Wanhammar	Approximation of elementary functions using a weighted sum of bit-products.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Huaping Liu, Han Chengde	Optimization of Multipartite Table Methods to Approximate the Elementary Functions.	DELTA	2004	DBLP DOI BibTeX RDF
2	Gerardo Bandera, Mario A. González, Julio Villalba, Javier Hormigo, Emilio L. Zapata	Evaluation of Elementary Functions Using Multimedia Features.	IPDPS	2004	DBLP DOI BibTeX RDF
2	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	A poly-algorithmic approach to simplifying elementary functions.	ISSAC	2004	DBLP DOI BibTeX RDF	simplification, branch cuts
2	James C. Beaumont, Russell J. Bradford, James H. Davenport	Better simplification of elementary functions through power series.	ISSAC	2003	DBLP DOI BibTeX RDF	simplification power series
2	Alexander Gofen	ODEs and Redefining the Concept of Elementary Functions.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
2	Russell J. Bradford, James H. Davenport	Towards better simplification of elementary functions.	ISSAC	2002	DBLP DOI BibTeX RDF
2	M. Yu. Loenko	Evaluating Elementary Functions with Guaranteed Precision.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF
2	Vincent Lefèvre, Jean-Michel Muller	Worst Cases for Correct Rounding of the Elementary Functions in Double Precision.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
2	Milos D. Ercegovac, Tomás Lang, Jean-Michel Muller, Arnaud Tisserand	Reciprocation, Square Root, Inverse Square Root, and Some Elementary Functions Using Small Multipliers.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	inverse square root, single-/double-precision operations, small multipliers, exponential, square root, Reciprocal, logarithm, Taylor series
2	Emanuele Covino, Giovanni Pani, Salvatore Caporaso	Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes.	CIAC	2000	DBLP DOI BibTeX RDF	time-space classes, elementary functions, implicit computational complexity
2	Michael J. Schulte, James E. Stine	Approximating Elementary Functions with Symmetric Bipartite Tables.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	bipartite tables, approximations, table lookups, Elementary functions
2	Javier Hormigo, Julio Villalba, Emilio L. Zapata	Arithmetic Unit for the Computation of Interval Elementary Functions.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Douglas M. Priest	Fast Table-Driven Algorithms for Interval Elementary Functions.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF
2	Jun Cao, Belle W. Y. Wei	High-Performance Hardware for Function Generation.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	Stirling algorithm, Computer arithmetic, Elementary functions, polynomial approximations, special-purpose hardware
2	Vincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller	Towards Correctly Rounded Transcendentals.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	floating-point arithmetic, elementary functions
2	Michael J. Schulte, James E. Stine	Accurate Function Approximations by Symmetric Table Lookup and Addition.	ASAP	1997	DBLP DOI BibTeX RDF	multi-operand addition, approximations, computer arithmetic, hardware, error analysis, floating point, table lookup, Elementary functions, Taylor series, symmetric
2	Weng-Fai Wong, Eiichi Goto	Fast Evaluation of the Elementary Functions in Single Precision.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	table-based algorithms, Digital arithmetic, error analysis, elementary functions
2	Jamil Baddoura	A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms.	ISSAC	1994	DBLP DOI BibTeX RDF
2	Daniel Richardson, John Fitch	The Identity Problem for Elementary Functions and Constants.	ISSAC	1994	DBLP DOI BibTeX RDF
2	Jean-Claude Bajard, Sylvanus Kla, Jean-Michel Muller	BKM: A new hardware algorithm for complex elementary functions.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
2	Henry G. Baker	Less complex elementary functions.	SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
2	Israel Koren, Ofra Zinaty	Evaluating Elementary Functions in a Numerical Coprocessor Based on Rational Approximations.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	high-precision floating-point numbers, extended double precision format, IEEE standard P754, floating-point numeric coprocessor, fast adder, digital arithmetic, execution time, microprocessor chips, approximation theory, elementary functions, function evaluation, rational approximations, silicon area, fast multiplier
2	Manuel Bronstein	Simplification of Real Elementary Functions.	ISSAC	1989	DBLP DOI BibTeX RDF
2	Moshe Porat, Yehoshua Y. Zeevi	The Generalized Gabor Scheme of Image Representation in Biological and Machine Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	2D Gabor elementary functions, Gabor scheme, frequency-position space, phase-quantization, clusters, pattern recognition, pattern recognition, picture processing, picture processing, sampling, coding, image representation, machine vision, frequency scaling, image decomposition, biological vision
2	Jean-Michel Muller	Discrete Basis and Computation of Elementary Functions.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	representation of real numbers by infinite series, CORDIC-like algorithms, hardware computation of elementary functions
2	Richard P. Brent	Fast Multiple-Precision Evaluation of Elementary Functions.	J. ACM	1976	DBLP DOI BibTeX RDF
2	P. W. Baker	Parallel Multiplicative Algorithms for Some Elementary Functions.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Continued products and sums, parallel m-bit multipliers, digital arithmetic, iterative algorithms, elementary functions
2	P. W. Baker	More Efficient Radix-2 Algorithms for Some Elementary Functions.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	variable left shift, Digital arithmetic, iterative algorithms, elementary functions, radix 2
1	Antonio G. M. Strollo, Davide De Caro, Nicola Petra	Elementary Functions Hardware Implementation Using Constrained Piecewise-Polynomial Approximations.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
1	Yuanwu Lei, Yong Dou, Li Shen, Jie Zhou, Song Guo	Special-purposed VLIW architecture for IEEE-754 quadruple precision elementary functions on FPGA.	ICCD	2011	DBLP DOI BibTeX RDF
1	Naoki Shibata	Efficient evaluation methods of elementary functions suitable for SIMD computation.	Computer Science - R&D	2010	DBLP DOI BibTeX RDF
1	Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn	A Unified Architecture for the Accurate and High-Throughput Implementation of Six Key Elementary Functions.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	single-precision arithmetic, computer arithmetic, Floating-point arithmetic, square root, reciprocal, logarithm
1	Liangwei Ge, Zhenan Tang, Kaiyu Wang, Ming Cao, Wencong Zou, Dong Liu	Synthesis of a unified unit for evaluating an application-specific set of elementary functions.	FPT	2010	DBLP DOI BibTeX RDF
1	Y. Hamid, Martin Langhammer	Multiplier architectures for FPGA double precision functions (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	fpga, floating point
1	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Mohamed Anane, Nadjia Anane, Hamid Bessalah, Mohamed Issad	Reconfigurable architecture for elementary functions evaluation.	AICCSA	2009	DBLP DOI BibTeX RDF
1	Adel Al-Hezmi, Gayass Daher, José Simões, Thomas Magedanz	SOA-based multimedia streaming enabler over IMS networks.	MoMM	2009	DBLP DOI BibTeX RDF	SOA, SIP, IMS, multimedia services, content delivery, session management
1	William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson	Formal verification of analog designs using MetiTarski.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Marc Daumas, David R. Lester, César Muñoz	Verified Real Number Calculations: A Library for Interval Arithmetic.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
1	Victor Kravchenko, Héctor M. Pérez Meana, Volodymyr I. Ponomaryov, Dmitry Churikov	Spectral Estimation of Digital Signals by the Orthogonal Kravchenko Wavelets {ha(t)}.	CIARP	2009	DBLP DOI BibTeX RDF	Atomic functions, Digital ultra wideband signal processing, Wavelets, Remote sensing
1	Behzad Akbarpour, Lawrence C. Paulson	Applications of MetiTarski in the Verification of Control and Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Georg Moser, Andreas Schnabl	The Derivational Complexity Induced by the Dependency Pair Method.	RTA	2009	DBLP DOI BibTeX RDF
1	Chee-Keng Yap, Jihun Yu	Foundations of Exact Rounding.	WALCOM	2009	DBLP DOI BibTeX RDF
1	Byeong-Gyu Nam, Hyejung Kim, Hoi-Jun Yoo	Power and Area-Efficient Unified Computation of Vector and Elementary Functions for Handheld 3D Graphics Systems.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	unified arithmetic unit, handheld systems, Computer Arithmetic, logarithmic number system, vector operations, transcendental functions, 3D computer graphics
1	Kenny Johansson, Oscar Gustafsson, Lars Wanhammar	Implementation of elementary functions for logarithmic number systems.	IET Computers & Digital Techniques	2008	DBLP DOI BibTeX RDF
1	Behzad Akbarpour, Lawrence C. Paulson	MetiTarski: An Automatic Prover for the Elementary Functions.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	Florent de Dinechin, Jérémie Detrey, Octavian Cret, Radu Tudoran	When FPGAs are better at floating-point than microprocessors.	FPGA	2008	DBLP DOI BibTeX RDF	FPGA, floating-point, arithmetic
1	Nicolas Brisebarre, Sylvain Chevillard, Milos D. Ercegovac, Jean-Michel Muller, Serge Torres	An efficient method for evaluating polynomial and rational function approximations.	ASAP	2008	DBLP DOI BibTeX RDF
1	Namgook Cho, Yu Shiu, C. C. Jay Kuo	Efficient music representation with content adaptive dictionaries.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Saeeid Tahmasbi Oskuii, Kenny Johansson, Oscar Gustafsson, Per Gunnar Kjeldsberg	Power optimization of weighted bit-product summation tree for elementary function generator.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Redha M. Radaydeh, Mustafa M. Matalgah	Simple Average BER Formulas for M-ary Orthogonal Signals with Noncoherent Diversity Combining in Nakagami-m Fading Channels.	IEEE Transactions on Communications	2008	DBLP DOI BibTeX RDF
1	Eduardo Martos-Naya, José F. Paris, Unai Fernández-Plazaola, Andrea J. Goldsmith	Exact BER analysis for M-QAM modulation with transmit beamforming under channel prediction errors.	IEEE Transactions on Wireless Communications	2008	DBLP DOI BibTeX RDF
1	Vincent Lefèvre, Damien Stehlé, Paul Zimmermann	Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
1	Djurdje Cvijovic, Hari M. Srivastava	Closed-form evaluations of certain definite integrals by employing the Cauchy integral theorem.	Numerical Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 30E20, 11M35, Secondary 11M99, 33B10
1	Behzad Akbarpour, Lawrence C. Paulson	Extending a Resolution Prover for Inequalities on Elementary Functions.	LPAR	2007	DBLP DOI BibTeX RDF
1	Sylvain Chevillard, Christoph Quirin Lauter	A Certified Infinite Norm for the Implementation of Elementary Functions.	QSIC	2007	DBLP DOI BibTeX RDF
1	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	Testing elementary function identities using CAD.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	CAD, Elementary functions, Branch cuts
1	Byeong-Gyu Nam, Jeabin Lee, Kwanho Kim, Seungjin Lee, Hoi-Jun Yoo	A low-power handheld GPU using logarithmic arithmetic and triple DVFS power domains.	Graphics Hardware	2007	DBLP DOI BibTeX RDF	handheld systems, low-power, GPU, hardware architecture, 3D computer graphics
1	Jérémie Detrey, Florent de Dinechin	Floating-Point Trigonometric Functions for FPGAs.	FPL	2007	DBLP DOI BibTeX RDF
1	Athanasios S. Lioumpas, George K. Karagiannidis	Blind Ratio Combining (BRC): An Optimum Diversity Receiver for Coherent Detection With Unknown Fading Amplitudes.	IEEE Transactions on Communications	2007	DBLP DOI BibTeX RDF
1	Athanasios S. Lioumpas, George K. Karagiannidis	Blind Ratio Combining (BRC): An Optimum Diversity Receiver for Coherent Detection With Unknown Fading Amplitudes.	IEEE Transactions on Communications	2007	DBLP DOI BibTeX RDF
1	Tina Bosner, Mladen Rogina	Non-uniform exponential tension splines.	Numerical Algorithms	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 41A50, 65D17, 65D07
1	Jamil Baddoura	Integration in finite terms with elementary functions and dilogarithms.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
1	Jean-Michel Muller	Elementary functions - algorithms and implementation (2. ed.).		2006	RDF
1	Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond	Assisted verification of elementary functions using Gappa.	SAC	2006	DBLP DOI BibTeX RDF
1	Alexey Ershov, Andrey Naraikin, Sergey Maidanov	Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures.	SAC	2006	DBLP DOI BibTeX RDF	correct rounding, elementaly functions, quad precision, IEEE 754
1	Robin J. Bruce, Richard Chamberlain, Malachy Devlin, Stephen Marshall	Poster reception - Implementing algorithms on FPGAs using high-level languages and low-level libraries.	SC	2006	DBLP DOI BibTeX RDF
1	Tetsuo Asano, Jirí Matousek, Takeshi Tokuyama	The distance trisector curve.	STOC	2006	DBLP DOI BibTeX RDF
1	Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer	FILIB++, a fast interval library supporting containment computations.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	C++ class library, containment computations, containment sets, exception free computations, filib++, guaranteed numerical results, traits class, validated numerics, validation, templates, interval arithmetic, interval computations
1	Dong-U Lee, John D. Villasenor, Wayne Luk, Philip Heng Wai Leong	A Hardware Gaussian Noise Generator Using the Box-Muller Method and Its Error Analysis.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	elementary function approximation, minimax approximation and algorithms, simulation, optimization, field programmable gate arrays, computer arithmetic, error analysis, random number generation, Algorithms implemented in hardware
1	Julio Villalba, Tomás Lang, Mario A. González	Double-Residue Modular Range Reduction for Floating-Point Hardware Implementations.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Range-reduction, elementary function evaluation, floating-point arithmetic
1	Luc Jaulin	Computing minimal-volume credible sets using interval analysis; application to bayesian estimation.	IEEE Transactions on Signal Processing	2006	DBLP DOI BibTeX RDF
1	Damien Stehlé	On the Randomness of Bits Generated by Sufficiently Smooth Functions.	ANTS	2006	DBLP DOI BibTeX RDF
1	Mariusz Bajger, Amos Omondi	Implementations of Square-Root and Exponential Functions for Large FPGAs.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
1	Tony Lambert, Carlos Castro, Eric Monfroy, Frédéric Saubion	Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.	ICAISC	2006	DBLP DOI BibTeX RDF	hybrid resolution, genetic algorithms, CSP, constraint propagation
1	James C. Beaumont, Nalina Phisanbut, Russell J. Bradford	Practical Simplification of Elementary Functions Using CAD.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
1	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	Adherence is better than adjacency: computing the Riemann index using CAD.	ISSAC	2005	DBLP DOI BibTeX RDF	elementary functions, Riemann surfaces, branch cuts
1	José-Alejandro Piñeiro, Stuart F. Oberman, Jean-Michel Muller, Javier D. Bruguera	High-Speed Function Approximation Using a Minimax Quadratic Interpolator.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Table-based methods, minimax polynomial approximation, single-precision computations, computer arithmetic, square root, reciprocal, elementary functions
1	Radu Muresan, Catherine H. Gebotys	Instantaneous current modeling in a complex VLIW processor core.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	Instruction-level current model, current and power measurement in a processor, instantaneous current model, power and energy model
1	Florent de Dinechin, Alexey V. Ershov, Nicolas Gast	Towards the Post-Ultimate libm.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
1	Vincent Lefèvre	New Results on the Distance between a Segment and Z2. Application to the Exact Rounding.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
1	Jérémie Detrey, Florent de Dinechin	Table-based polynomials for fast hardware function evaluation.	ASAP	2005	DBLP DOI BibTeX RDF
1	Jinhui Chao, Fang Xing Li	A surface model based on a fibre bundle of 1-parameter groups of Hamiltonian Lie algebra.	ICIP	2005	DBLP DOI BibTeX RDF
1	Eric Monfroy, Frédéric Saubion, Tony Lambert	Hybrid CSP Solving.	FroCos	2005	DBLP DOI BibTeX RDF
1	Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek	Interactive Learning and Mathematical Calculus.	MKM	2005	DBLP DOI BibTeX RDF
1	Oleksiy Kurganskyy, Igor Potapov	Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems.	UC	2005	DBLP DOI BibTeX RDF
1	Alexei G. Ershov, Tamara P. Kashevarova	Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion.	Reliable Computing	2005	DBLP DOI BibTeX RDF
1	Alan G. Strelzoff	Functional Programming for Reconfigurable Computing.	IPDPS	2004	DBLP DOI BibTeX RDF