Searching for authors named "Geert Janssen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Scalable sequential equivalence checking across arbitrary design transformations
by Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen — 2006 — Proc. ICCD’06
… 1 Hari Mony 1 Viresh Paruthi 1 Robert Kanzelman 1 Geert Janssen 2 1 IBM Systems & Technology Group 1…
Cited by 7 (1 self) – Add To MetaCart

Performance modeling for early analysis of multi-core systems
by Reinaldo Bergamaschi, Indira Nair, Gero Dittmann, Hiren Patel, Geert Janssen, Nagu Dhanwada, Alper Buyuktosunoglu, Emrah Acar, Gi-joon Nam, Guoling Han, Dorothy Kucar, Pradip Bose, John Darringer — 2007 — In Proceedings of the 5 th Intl. Conf. on Hardware/Software Codesign and System Synthesis
… 1 , Gero Dittmann 1 , Hiren Patel 3 , Geert Janssen 1 , Nagu Dhanwada 4 , Alper Buyuktosunoglu 1…
Cited by 2 (0 self) – Add To MetaCart

A performance study of BDD-based model checking
by Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi — 1998 — IN PROCEEDINGS OF THE FORMAL METHODS ON COMPUTER-AIDED DESIGN
…'Hallaron 1 , Armin Biere 1 , Olivier Coudert 2 , Geert Janssen 3 , Rajeev K. Ranjan 2 , and Fabio Somenzi 4 1…
Cited by 39 (3 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB