Real-World Distributed Computer with Ibis
Bal, Henri E, Maassen, Jason, van Nieuwpoort, Rob V, Drost, Niels, Kemp, Roelof, van Kessel, Timo, Palmer, Nick, Wrzesinska, Gosia, Kielmann, Thilo, van Reeuwijk, Kees, Seinstra, Frank J, Jacobs, Ceriel J H, Verstoep, Kees
Published in Computer (Long Beach, Calif.) (01.08.2010)
Published in Computer (Long Beach, Calif.) (01.08.2010)
Get full text
Journal Article
Generating synchronization statements in divide-and-conquer programs
Hijma, Pieter, van Nieuwpoort, Rob V., Jacobs, Ceriel J.H., Bal, Henri E.
Published in Parallel computing (01.01.2012)
Published in Parallel computing (01.01.2012)
Get full text
Journal Article
Modern Compiler Design
Grune, Dick, van Reeuwijk, Kees, Bal, Henri E, Jacobs, Ceriel J. H, Langendoen, Koen
Year of Publication 2012
Year of Publication 2012
Get full text
eBook
Object combining: a new aggressive optimization for object intensive programs
Veldema, Ronald, Jacobs, Ceriel J. H., Hofman, Rutger F. H., Bal, Henri E.
Published in Concurrency and computation (01.04.2005)
Published in Concurrency and computation (01.04.2005)
Get full text
Journal Article
Cashmere: Heterogeneous Many-Core Computing
Hijma, Pieter, Jacobs, Ceriel J.H., Van Nieuwpoort, Rob V., Bal, Henri E.
Published in 2015 IEEE International Parallel and Distributed Processing Symposium (01.05.2015)
Published in 2015 IEEE International Parallel and Distributed Processing Symposium (01.05.2015)
Get full text
Conference Proceeding
Efficient Model Construction for Horn Logic with VLog: System Description
Urbani, Jacopo, Krötzsch, Markus, Jacobs, Ceriel, Dragoste, Irina, Carral, David
Published in Automated Reasoning (30.06.2018)
Published in Automated Reasoning (30.06.2018)
Get full text
Book Chapter
Using MDL for Grammar Induction
Adriaans, Pieter, Jacobs, Ceriel
Published in Grammatical Inference: Algorithms and Applications (2006)
Published in Grammatical Inference: Algorithms and Applications (2006)
Get full text
Book Chapter
Conference Proceeding