acm transactions on mathematical software (12)
ieee transactions on computers (12)
institute of electrical and electronics engineers. transactions on computers (4)
2015 ieee 22nd symposium on computer arithmetic (3)
association for computing machinery. transactions on mathematical software (3)
2015 49th asilomar conference on signals, systems & computers (2)
2015 49th asilomar conference on signals, systems and computers, signals, systems and computers, 2015 49th asilomar conference on (2)
2015 ieee 22nd symposium on computer arithmetic, computer arithmetic (arith), 2015 ieee 22nd symposium on (2)
rairo - theoretical informatics and applications (2)
2009 19th ieee symposium on computer arithmetic, computer arithmetic, 2009. arith 2009. 19th ieee symposium on (1)
2013 asilomar conference on signals, systems & computers (1)
2013 asilomar conference on signals, systems and computers, signals, systems and computers, 2013 asilomar conference on (1)
2013 ieee 21st symposium on computer arithmetic (1)
2013 ieee 21st symposium on computer arithmetic, computer arithmetic (arith), 2013 21st ieee symposium on (1)
2014 48th asilomar conference on signals, systems & computers (1)
2014 48th asilomar conference on signals, systems and computers, signals, systems and computers, 2014 48th asilomar conference on (1)
2016 50th asilomar conference on signals, systems and computers, signals, systems and computers, 2016 50th asilomar conference on (1)
2017 51st asilomar conference on signals, systems, and computers, signals, systems, and computers, 2017 51st asilomar conference on (1)
2017 ieee 24th symposium on computer arithmetic (arith), computer arithmetic (arith), 2017 ieee 24th symposium on, arith (1)
2018 52nd asilomar conference on signals, systems, and computers, signals, systems, and computers, 2018 52nd asilomar conference on (1)
2018 ieee 25th symposium on computer arithmetic (arith), computer arithmetic (arith), 2018 ieee 25th symposium on (1)
2019 ieee 30th international conference on application-specific systems, architectures and processors (asap), application-specific systems, architectures and processors (asap), 2019 ieee 30th international conference on (1)
2020 ieee 27th symposium on computer arithmetic (arith), computer arithmetic (arith), 2020 ieee 27th symposium on (1)
2023 ieee 30th symposium on computer arithmetic (arith), computer arithmetic (arith), 2023 ieee 30th symposium on, arith (1)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (1)
mathematical software - icms 2010 (1)
mathematical software - icms 2014 (1)
mathematical software---icms 2014 (1)
rairo - theoretical informatics & applications (1)
rairo-theoretical informatics and applications (1)
scientific computing, computer arithmetic & validated numerics (1)
scientific computing, computer arithmetic, and validated numerics (1)
seventh international conference on quality software (qsic 2007), quality software, 2007. qsic '07. seventh international conference on (1)
theoretical informatics and applications. informatique theorique et applications (1)