Travelled to:1 × France
2 × USA
Collaborated with:N.Nicolici H.F.Ko
Talks about:hardwar (2) constrain (1) algorithm (1) scientif (1) sequenc (1) generat (1) acceler (1) theori (1) system (1) robust (1)
Person: Adam B. Kinsman
DBLP: Kinsman:Adam_B=
Contributed to:
20132010
2009Wrote 3 papers:
- DAC-2013-KinsmanKN #generative #sequence #validation
- Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
- DAC-2010-KinsmanN #algorithm #design #hardware #robust
- Robust design methods for hardware accelerators for iterative algorithms in scientific computing (ABK, NN), pp. 254–257.
- DATE-2009-KinsmanN #finite #modulo theories #precise #using
- Finite Precision bit-width allocation using SAT-Modulo Theory (ABK, NN), pp. 1106–1111.