hardware specification, verification & synthesis: mathematical aspects (19)
eurasip journal on embedded systems (5)
journal of parallel and distributed computing (4)
2015 ieee high performance extreme computing conference (hpec) (3)
2015 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2015 ieee (3)
acm computing surveys (3)
acm transactions on reconfigurable technology and systems (3)
ieee micro (3)
ieee transactions on circuits & systems. part i: regular papers (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee transactions on parallel & distributed systems (3)
ieee transactions on software engineering (3)
ieee wireless communications (3)
journal of computational chemistry (3)
journal of real-time image processing (3)
the journal of vlsi signal processing (3)
15th annual ieee symposium on field-programmable custom computing machines (fccm 2007), field-programmable custom computing machines, 2007. fccm 2007. 15th annual ieee symposium on (2)
2008 16th international symposium on field-programmable custom computing machines, field-programmable custom computing machines, 2008. fccm '08. 16th international symposium on (2)
2012 ieee 20th international symposium on field-programmable custom computing machines (2)
2012 ieee 20th international symposium on field-programmable custom computing machines, field-programmable custom computing machines (fccm), 2012 ieee 20th annual international symposium on (2)
2016 ieee high performance extreme computing conference (hpec) (2)
2016 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2016 ieee (2)
2018 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2018 ieee (2)
2020 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2020 ieee (2)
2022 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2022 ieee (2)
acm international conference proceeding series (2)
acm transactions on embedded computing systems (2)
bmc research notes (2)
computer (2)
computer (00189162) (2)
dac: annual acm/ieee design automation conference (2)
ieee access (2)
ieee transactions on very large scale integration (vlsi) systems (2)
international journal of reconfigurable computing (2)
journal of parallel & distributed computing (2)
journal of vlsi signal processing systems for signal, image and video technology (2)
mathematics and computers in simulation (2)
physics in medicine & biology (2)
proceedings of the 2000 acm/sigda eighth international symposium: field programmable gate arrays (2)
proceedings of the 35th annual design automation conference (may 1998) (2)
proceedings of the fifth acm international conference: multimedia (2)
vlsi design (2)
acm transactions on modeling and computer simulation (1)
computer hardware description languages and their applications (1)
higher order logic theorem proving and its applications (1)
higher order logic theorem proving and its applications (leuven, 1992) (1)
mathematics & computers in simulation (1)
philosophical transactions: physical sciences and engineering (1)
reconfigurable computing (1)
theorem provers in circuit design (bad herrenalb, 1994) (1)