The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sven Verdoolaege" ( http://dblp.L3S.de/Authors/Sven_Verdoolaege )

  Author page on DBLP  Author page in RDF  Community of Sven Verdoolaege in ASPL-2

Publication years (Num. hits)
1998-2008 (16) 2009-2014 (15) 2015-2018 (4)
Publication types (Num. hits)
article(16) incollection(2) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 36 publication records. Showing 35 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen 0001 Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen 0001 Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Grosser, Sven Verdoolaege, Albert Cohen 0001 Polyhedral AST Generation Is More Than Scanning Polyhedra. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen 0001, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. Search on Bibsonomy PACT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tobias Grosser, Sven Verdoolaege, Albert Cohen 0001, P. Sadayappan The Relation Between Diamond Tiling and Hexagonal Tiling. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tobias Grosser, Albert Cohen 0001, Justin Holewinski, P. Sadayappan, Sven Verdoolaege Hybrid Hexagonal/Classical Tiling for GPUs. Search on Bibsonomy CGO The full citation details ... 2014 DBLP  BibTeX  RDF
1Sven Verdoolaege Polyhedral Process Networks. Search on Bibsonomy Handbook of Signal Processing Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Juan Carlos Juega, Albert Cohen 0001, José Ignacio Gómez, Christian Tenllado, Francky Catthoor Polyhedral parallel code generation for CUDA. Search on Bibsonomy TACO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Riyadh Baghdadi, Albert Cohen 0001, Sven Verdoolaege, Konrad Trifunovic Improved loop tiling based on the removal of spurious false dependences. Search on Bibsonomy TACO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Riyadh Baghdadi, Albert Cohen 0001, Serge Guelton, Sven Verdoolaege, Jun Inoue 0001, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Tobias Grosser, Albert Cohen 0001, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege Split tiling for GPUs: automatic parallelization using trapezoidal tiles. Search on Bibsonomy GPGPU@ASPLOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence checking of static affine programs using widening to handle recurrences. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Albert Cohen 0001, Anna Beletska Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. Search on Bibsonomy J. Electronic Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege Polyhedral Process Networks. Search on Bibsonomy Handbook of Signal Processing Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege isl: An Integer Set Library for the Polyhedral Model. Search on Bibsonomy ICMS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Experience with widening based equivalence checking in realistic multimedia systems. Search on Bibsonomy HLDVT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Köppe, Sven Verdoolaege Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2008 DBLP  BibTeX  RDF
1Per Gunnar Kjeldsberg, Francky Catthoor, Sven Verdoolaege, Martin Palkovic, Arnout Vandecappelle, Qubo Hu, Einar J. Aas Guidance of Loop Ordering for Reduced Memory Usage in Signal Processing Applications. Search on Bibsonomy Signal Processing Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Memory architecture exploration, High level synthesis, Memory optimization, Multi-media, Code transformation
1Sven Verdoolaege, Kevin M. Woods Counting with rational generating functions. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Maurice Bruynooghe Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. Search on Bibsonomy ITSL The full citation details ... 2008 DBLP  BibTeX  RDF
1Matthias Köppe, Sven Verdoolaege, Kevin M. Woods An Implementation of the Barvinok--Woods Integer Projection Algorithm. Search on Bibsonomy ITSL The full citation details ... 2008 DBLP  BibTeX  RDF
1Sven Verdoolaege, Hristo Nikolov, Todor P. Stefanov pn: A Tool for Improved Derivation of Process Networks. Search on Bibsonomy EURASIP J. Emb. Sys. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions. Search on Bibsonomy Algorithmica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor Experiences with Enumeration of Integer Projections of Parametric Polytopes. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Barvinok's decomposition, Ehrhart polynomial, parametric polytope, quasi-polynomial, signed unimodular decomposition, polyhedral model, compiler analysis
1José Ignacio Gómez, Paul Marchal, Sven Verdoolaege, Luis Piñuel, Francky Catthoor Optimizing the Memory Bandwidth with Loop Morphing. Search on Bibsonomy ASAP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Multi-dimentsional Incremetal Loops Fusion for Data Locality. Search on Bibsonomy ASAP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Marc Denecker, Frank Van Eynde Abductive reasoning with temporal information Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde Semantic interpretation of temporal information by abductive inference Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Ness Schelkens, Frank Van Eynde, Sven Verdoolaege The semantics of temporal adjuncts. Search on Bibsonomy CLIN The full citation details ... 1999 DBLP  BibTeX  RDF
1Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde Semantic interpretation of temporal information by abductive inference. Search on Bibsonomy CLIN The full citation details ... 1999 DBLP  BibTeX  RDF
1Lars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege Analysis Methods for (Alleged) RC4. Search on Bibsonomy ASIACRYPT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #35 of 35 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license