|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sven Verdoolaege, Albert Cohen, Anna Beletska |
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.  |
SAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. |
J. Electronic Testing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege |
isl: An Integer Set Library for the Polyhedral Model. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege |
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation. |
IEEE Trans. VLSI Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Experience with widening based equivalence checking in realistic multimedia systems. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Kevin M. Woods |
Counting with rational generating functions. |
J. Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Köppe, Sven Verdoolaege |
Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm. |
Electr. J. Comb. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Per 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. |
Signal Processing Systems |
2008 |
DBLP DOI BibTeX RDF |
Memory architecture exploration, High level synthesis, Memory optimization, Multi-media, Code transformation |
| 1 | Sven Verdoolaege, Maurice Bruynooghe |
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. |
ITSL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Köppe, Sven Verdoolaege, Kevin M. Woods |
An Implementation of the Barvinok--Woods Integer Projection Algorithm. |
ITSL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege, Hristo Nikolov, Todor Stefanov |
pn: A Tool for Improved Derivation of Process Networks. |
EURASIP J. Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
Experiences with Enumeration of Integer Projections of Parametric Polytopes. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | José Ignacio Gómez, Paul Marchal, Sven Verdoolaege, Luis Piñuel, Francky Catthoor |
Optimizing the Memory Bandwidth with Loop Morphing. |
ASAP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
Barvinok's decomposition, Ehrhart polynomial, parametric polytope, quasi-polynomial, signed unimodular decomposition, polyhedral model, compiler analysis |
| 1 | Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Multi-dimentsional Incremetal Loops Fusion for Data Locality. |
ASAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Marc Denecker, Frank Van Eynde |
Abductive reasoning with temporal information |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde |
Semantic interpretation of temporal information by abductive inference |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde |
Semantic interpretation of temporal information by abductive inference. |
CLIN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ness Schelkens, Frank Van Eynde, Sven Verdoolaege |
The semantics of temporal adjuncts. |
CLIN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Lars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege |
Analysis Methods for (Alleged) RC4. |
ASIACRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")