mmuecke's interval_arithmetic [10 articles] Export

Recent papers added to mmuecke's library classified by the tag interval_arithmetic. You can also see everyone's interval_arithmetic.

Hide details

	The exact dot product as basic tool for long interval arithmetic [My Copy] (2009) by Ulrich Kulisch, Van Snyder posted to interval_arithmetic computer_arithmetic by mmuecke on 2009-11-23 15:33:17 as
	Numerisches Rechnen - wie es ist und wie es sein koennte (Computer artihmetic - what it is and what it could be) [My Copy] it - Information Technology, Vol. 50, No. 3. (2008), pp. 204-212. by Ulrich W. Kulisch posted to survey interval_arithmetic error_analysis computer_arithmetic by mmuecke on 2009-11-23 15:27:52 as
	Quantization Noise: Roundoff Error in Digital Computation, Signal Processing, Control, and Communications [My Copy] (2008) by Bernard Widrow, Istvn Kollr posted to book error_analysis floating_point high-performance_computing interval_arithmetic linear_algebra signal_processing_theory by mmuecke on 2009-07-06 09:57:37 as
	Multiple Precision Interval Packages: Comparing Different Approaches [My Copy] Numerical Software with Result Verification (2004), pp. 601-642. by Markus Grimmer, Knut Petras, Nathalie Revol posted to floating_point interval_arithmetic mixed_precision by mmuecke on 2009-04-28 10:19:44 as
	Compositional Analysis of Floating-Point Linear Numerical Filters [My Copy] Computer Aided Verification (2005), pp. 199-212. by David Monniaux posted to error_analysis fixedpoint floating_point interval_arithmetic by mmuecke on 2008-09-14 19:42:35 as
	Affine Arithmetic: Concepts and Applications: SCAN2002 International Conference (Guest Editors: Rene Alt and Jean-Luc Lamotte) [My Copy] Numerical Algorithms, Vol. 37, No. 1-4., 147. by Luiz H. de Figueiredo, Jorge Stolfi posted to error_analysis interval_arithmetic by mmuecke on 2008-07-09 14:32:00 as
	Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling [My Copy] Design Automation Conference, 2003. Proceedings In Design Automation Conference, 2003. Proceedings (2003), pp. 496-501. by Fang, R. A. Rutenbar, M. Puschel, Tsuhan Chen posted to error_analysis floating_point interval_arithmetic by mmuecke on 2008-07-04 13:35:38 as
	Combining local consistency, symbolic rewriting and interval methods [My Copy] Artificial Intelligence and Symbolic Mathematical Computation (1996), pp. 144-159. by Frédéric Benhamou, Laurent Granvilliers posted to interval_arithmetic term_rewriting by mmuecke on 2008-06-12 16:14:46 as
	Hardware Support for Interval Arithmetic [My Copy] Reliable Computing, Vol. 12, No. 3. (June 2006), pp. 225-237. by Kirchner, Reinhard, Kulisch, Ulrich posted to floating_point interval_arithmetic vlsi_design by mmuecke on 2008-05-21 08:38:22 as
	Advanced Arithmetic for the Digital Computer [My Copy] (20 November 2002) by Ulrich W. Kulisch posted to book computer_architecture floating_point interval_arithmetic by mmuecke on 2008-05-21 08:31:38 as

Note: You may cite this page as: http://www.citeulike.org/user/mmuecke/tag/interval_arithmetic

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

high-performance_computing	78
fpga	74
hdl	74
floating_point	66
high_level_synthesis	66
mpi	61
performance_analysis	52
parallel_programming	49
reconfigurable_computing	41
survey	40
computer_architecture	33
error_analysis	32
vlsi_design	28
fixedpoint	28
fpgas_in_hep	28
fpgasupercomputing	27
functional	26
vhdl	25
language_design	24
dsl	24
trends	23
mpi_tools	23
matrix	23
molecular_dynamics	22
reconfigurable_platforms	20
image_processing	19
compiler_design	18
hdl_tool	17
bioinformatics	17
dfg	16
numa	16
communication_algorithms	15
scientific_publishing	15
book	14
electronics_design_automation	14
mixed_precision	14
linear_algebra	13
dsp_on_fpga	13
architecture_comparison	13
charmm	12
svm	11
multicore	11
formal_language_theory	11
teaching	10
fft	10
interval_arithmetic	10
computer_arithmetic	9
performance_modelling	8
signal_processing_theory	8
sopc	7
molecular_docking	7
parallel_algorithms	7
term_rewriting	7
systemc	7
matrix_sparse	7
lhc_transversefeedbacksystem	6
verification	6
lhcb	6
genomesequencing	5
vlsi_design_theory	5
gpu	4
open_source_eda	4
benchmark	4
protein_sequences	4
infiniband	4
adl	4
case_study	4
hw_ip_reuse	4
formal_synthesis	4
modelling	3
language_embedding	3
generative_programming	3
cell_cpu	3
middle_ware	3
confluence	3
unix_linux_solaris	3
people	2
powerefficient_computing	2
structural_computing	2
analog_computing	2
wsn	2
quantization_noise	1
multi_stage_programming	1
fpaa	1
graph_theory	1
pde_solvers	1
nuclear_fusion	1
image_feature_descriptors	1
machine_learning	1
mixed_signal	1
run-time_reconfiguration	1
echo_state_networks	1

mmuecke's interval_arithmetic [10 articles] Export

mmuecke's tags