Geert Janssen

According to our database1, Geert Janssen authored at least 12 papers between 1994 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.
CoRR, 2021

CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.
Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

2019
Large Data Flow Graphs in Limited GPU Memory.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2013
IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory.
IBM J. Res. Dev., 2013

2009
Multicore power management: Ensuring robustness via early-stage formal verification.
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008
Exploring power management in multi-core systems.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007
Performance modeling for early analysis of multi-core systems.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

2003
First CADathlon Programming Contest held at 2002 ICCAD.
IEEE Des. Test Comput., 2003

A Consumer Report on BDD Packages.
Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

1998
A Performance Study of BDD-Based Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

1994
Exploiting Structural Similarities in a BDD-Based Verification Method.
Proceedings of the Theorem Provers in Circuit Design, 1994


  Loading...