Large Data Flow Graphs in Limited GPU Memory
- Geert Janssen
- Vladimir Zolotov
- et al.
- 2019
- Big Data 2019
Publications
Date
Featured collections
Popular topics
7 results for Geert Janssen
Multicore power management: Ensuring robustness via early-stage formal verification
- Anita Lungu
- Pradip Bose
- et al.
- 2009
- MEMOCODE 2009
Exploring power management in multi-core systems
- Reinaldo Bergamaschi
- Guoling Han
- et al.
- 2008
- ASP-DAC 2008
Performance modeling for early analysis of multi-core systems
- Reinaldo Bergamaschi
- Indira Nair
- et al.
- 2007
- CODES+ISSS 2007
Scalable sequential equivalence checking across arbitrary design transformations
- Jason Baumgartner
- Hari Mony
- et al.
- 2006
- ICCD 2006
A consumer report on BDD packages
- G. Janssen
- 2003
- SBCCI 2003
Asset health management using predictive and prescriptive analytics for the electric power grid
- Aanchal Goyal
- E. Aprilia
- et al.
- 2016
- IBM J. Res. Dev