Search for persons
X
?
Novel Developments for Sustainable Hydropower ,
2
Risk Assessment and Decision Making on Mitigation Measures:
, In:
?
Proceedings of the 42nd Annual International Symposium on Computer Architecture ,
7
BlueDBM : an appliance for big data analytics:
, In:
?
Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays ,
9
Software-Driven Hardware Development:
, In:
?
2013 23rd International Conference on Field programmable Logic and Applications ,
10
Generating infrastructure for FPGA-accelerated applications:
, In:
?
Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems ,
13
Automatic generation of hardware/software interfaces:
, In:
?
Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign ,
14
Verification of microarchitectural refinements in rule-base..:
, In:
?
Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign ,
15