|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 32 occurrences of 30 keywords
|
|
|
|
|
Results
Found 101 publication records. Showing 101 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pavel Poliakov, Pieter Blomme, Alessandro Vaglio Pret, Miguel Corbalan Miranda, Roel Gronheid, Diederik Verkest, Jan Van Houdt, Wim Dehaene |
Trades-off between lithography line edge roughness and error-correcting codes requirements for NAND Flash memories.  |
Microelectronics Reliability  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Zhang 0018, Ke Zhang, Tian Sheuan Chang, Gauthier Lafruit, Georgi Krasimirov Kuzmanov, Diederik Verkest |
Real-time high-definition stereo matching on FPGA. |
FPGA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Geelen, Vissarion Ferentinos, Francky Catthoor, Gauthier Lafruit, Diederik Verkest, Rudy Lauwereins, Thanos Stouraitis |
Modeling and exploiting spatial locality trade-offs in wavelet-based applications under varying resource requirements. |
ACM Trans. Embedded Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Diederik Verkest, Henk Corporaal |
A Safari Through the MPSoC Run-Time Management Jungle. |
Signal Processing Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Poliakov, Ankur Anchlia, Marie Garcia Bardon, Bram Rooseleer, Bart De Wachter, Nadine Collaert, Koen van der Zanden, Wim Dehaene, Diederik Verkest, Miguel Corbalan Miranda |
Circuit Design for Bias Compatibility in Novel FinFET-Based Floating-Body RAM. |
IEEE Trans. on Circuits and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest |
EMPIRE: Empirical power/area/timing models for register files. |
Microprocessors and Microsystems - Embedded Hardware Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Geelen, Vissarion Ferentinos, Francky Catthoor, Gauthier Lafruit, Diederik Verkest, Rudy Lauwereins, Thanos Stouraitis |
Spatial locality exploitation for runtime reordering of JPEG2000 wavelet data layouts. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest |
Distributed Loop Controller for Multithreading in Unithreaded ILP Architectures. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Lambrechts, Praveen Raghavan, Murali Jayapala, Bingfeng Mei, Francky Catthoor, Diederik Verkest |
Interconnect Exploration for Energy Versus Performance Tradeoffs for Coarse Grained Reconfigurable Architectures. |
IEEE Trans. VLSI Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Geelen, Vissarion Ferentinos, Francky Catthoor, Spyridon Toulatos, Gauthier Lafruit, Thanos Stouraitis, Rudy Lauwereins, Diederik Verkest |
Exploiting Varying Resource Requirements in Wavelet-based Applications in Dynamic Execution Environments. |
Signal Processing Systems |
2009 |
DBLP DOI BibTeX RDF |
Wavelets, Dynamism, Loop transformations, Memory optimization |
| 1 | Dragomir Milojevic, Luc J. M. Montperrus, Diederik Verkest |
Power Dissipation of the Network-on-Chip in Multi-Processor System-on-Chip Dedicated for Video Coding Applications. |
Signal Processing Systems |
2009 |
DBLP DOI BibTeX RDF |
Multi-processor systems-on-chip (MPSoC), Real-time video encoding, AVC/H.264, Low-power VLSI implementation, decoding, Networks-on-chip (NoC) |
| 1 | Bjorn De Sutter, Diederik Verkest, Erik Brockmeyer, Eric Delfosse, Arnout Vandecappelle, Jean-Yves Mignolet |
Design and Tool Flow of Multimedia MPSoC Platforms. |
Signal Processing Systems |
2009 |
DBLP DOI BibTeX RDF |
Tool flow, Multimedia, Parallelization, Predictability, MPSoC |
| 1 | Diederik Verkest |
Multimedia systems in a changing technology landscape. |
ESTImedia |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Bougard, Bjorn De Sutter, Diederik Verkest, Liesbet Van der Perre, Rudy Lauwereins |
A Coarse-Grained Array Accelerator for Software-Defined Radio Baseband Processing. |
IEEE Micro |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Leroy, Dragomir Milojevic, Diederik Verkest, Frédéric Robert, Francky Catthoor |
Concepts and Implementation of Spatial Division Multiplexing for Guaranteed Throughput in Networks-on-Chip. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Prabhat Avasare, Hendrik Eeckhaut, Diederik Verkest, Henk Corporaal |
Run-Time Management of a MPSoC Containing FPGA Fabric Tiles. |
IEEE Trans. VLSI Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Atienza, Praveen Raghavan, José Luis Ayala, Giovanni De Micheli, Francky Catthoor, Diederik Verkest, Marisa López-Vallejo |
Joint hardware-software leakage minimization approach for the register file of VLIW embedded architectures. |
Integration |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Geelen, Aris Ferentinos, Francky Catthoor, Gauthier Lafruit, Diederik Verkest |
Spatial locality trade-offs of wavelet-based applications in dynamic execution environments. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mladen Berekovic, Frank Bouwens, Tom Vander Aa, Diederik Verkest |
Interconnect Power Analysis for a Coarse-Grained Reconfigurable Array Processor. |
PATMOS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Lambrechts, Praveen Raghavan, Murali Jayapala, Francky Catthoor, Diederik Verkest |
Energy-Aware Interconnect Optimization for a Coarse Grained Reconfigurable Processor. |
VLSI Design |
2008 |
DBLP DOI BibTeX RDF |
Interconnect-Aware Design, Low Power, Processor Architecture, Energy-Aware Design |
| 1 | Praveen Raghavan, Andy Lambrechts, Javed Absar, Murali Jayapala, Francky Catthoor, Diederik Verkest |
Coffee: COmpiler Framework for Energy-Aware Exploration. |
HiPEAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Denolf, Marco Jan Gerrit Bekooij, Johan Cockx, Diederik Verkest, Henk Corporaal |
Exploiting the Expressiveness of Cyclo-Static Dataflow to Model Multimedia Implementations. |
EURASIP J. Adv. Sig. Proc. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Denolf, Adrian Chirila-Rus, Paul R. Schumacher, Robert D. Turney, Kees A. Vissers, Diederik Verkest, Henk Corporaal |
A Systematic Approach to Design Low-Power Video Codec Cores. |
EURASIP J. Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Ayala, Marisa López-Vallejo, David Atienza, Praveen Raghavan, Francky Catthoor, Diederik Verkest |
Energy-aware compilation and hardware design for VLIW embedded systems. |
IJES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Raghavan, Nandhavel Sethubalasubramanian, Satyakiran Munaga, Estela Rey Ramos, Murali Jayapala, Oliver Weiss, Francky Catthoor, Diederik Verkest |
Semi Custom Design: A Case Study on SIMD Shufflers. |
PATMOS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Raghavan, Satyakiran Munaga, Estela Rey Ramos, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest |
A Customized Cross-Bar for Data-Shuffling in Domain-Specific SIMD Processors. |
ARCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest, Henk Corporaal |
Very wide register: an asymmetric register file organization for low power embedded processors. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vissarion Ferentinos, Bert Geelen, Francky Catthoor, Gauthier Lafruit, Thanos Stouraitis, Rudy Lauwereins, Diederik Verkest |
Adaptive mapping to resource availability for dynamic wavelet-based applications. |
ESTImedia |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Paolo Scarpazza, Praveen Raghavan, David Novo, Francky Catthoor, Diederik Verkest |
Software Simultaneous Multi-Threading, a Technique to Exploit Task-Level Parallelism to Improve Instruction- and Data-Level Parallelism. |
PATMOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Atienza, Praveen Raghavan, José L. Ayala, Giovanni De Micheli, Francky Catthoor, Diederik Verkest, Marisa López-Vallejo |
Compiler-Driven Leakage Energy Reduction in Banked Register Files. |
PATMOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Geelen, Aris Ferentinos, Francky Catthoor, Arnout Vandecappelle, Gauthier Lafruit, Thanos Stouraitis, Rudy Lauwereins, Diederik Verkest |
Software-Controlled Scratchpad Mapping Strategies for Wavelet-Based Applications. |
SiPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Prabhat Avasare, Diederik Verkest, Henk Corporaal |
Exploiting Hierarchical Configuration to Improve Run-Time MPSoC Task Assignment. |
ERSA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest |
Distributed loop controller architecture for multi-threading in uni-threaded VLIW processors. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Resano, Daniel Mozos, Diederik Verkest, Francky Catthoor |
A Reconfiguration Manager for Dynamically Reconfigurable Hardware. |
IEEE Design & Test of Computers |
2005 |
DBLP DOI BibTeX RDF |
Reconfigurable hardware, Real-time and embedded systems, Performance Analysis and Design Aids |
| 1 | Bingfeng Mei, Andy Lambrechts, Diederik Verkest, Jean-Yves Mignolet, Rudy Lauwereins |
Architecture Exploration for a Reconfigurable Architecture Template. |
IEEE Design & Test of Computers |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vassilis Paliouras, Johan Vounckx, Diederik Verkest (eds.) |
Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings |
PATMOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bert Geelen, Gauthier Lafruit, Vissarion Ferentinos, Rudy Lauwereins, Diederik Verkest |
Memory Hierarchy Energy Cost of a Direct Filtering Implementation of the Wavelet Transform. |
PATMOS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal |
Centralized end-to-end flow control in a best-effort network-on-chip. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
run-time communication management, network-on-chip |
| 1 | Richard Stahl, Francky Catthoor, Diederik Verkest |
Object-Distribution Analysis for Program Decomposition and Re-Clustering. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Lambrechts, Praveen Raghavan, Anthony Leroy, Guillermo Talavera, Tom Vander Aa, Murali Jayapala, Francky Catthoor, Diederik Verkest, Geert Deconinck, Henk Corporaal, Frédéric Robert, Jordi Carrabina |
Power Breakdown Analysis for a Heterogeneous NoC Platform Running a Video Application. |
ASAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Prabhat Avasare, Jean-Yves Mignolet, Diederik Verkest |
Low Cost Task Migration Initiation in a Heterogeneous MP-SoC. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stahl, Francky Catthoor, Diederik Verkest |
Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs. |
ICPP Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Leroy, Paul Marchal, Adelina Shickova, Francky Catthoor, Frédéric Robert, Diederik Verkest |
Spatial division multiplexing: a novel approach for guaranteed throughput on NoCs. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
spatial division multiplexing, network-on-chip |
| 1 | Javier Resano, Diederik Verkest, Daniel Mozos, Serge Vernalde, Francky Catthoor |
A hybrid design-time/run-time scheduling flow to minimise the reconfiguration overhead of FPGAs. |
Microprocessors and Microsystems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Théodore Marescaux, Vincent Nollet, Jean-Yves Mignolet, Andrei Bartic, W. Moffat, Prabhat Avasare, Paul Coene, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
Run-time support for heterogeneous multitasking on reconfigurable SoCs. |
Integration |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Bartic, Dirk Desmet, Jean-Yves Mignolet, Théodore Marescaux, Diederik Verkest, Serge Vernalde, Rudy Lauwereins, J. Miller, Frédéric Robert |
Network-on-Chip for Reconfigurable Systems: From High-Level Design Down to Implementation. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stahl, Francky Catthoor, Rudy Lauwereins, Diederik Verkest |
Design-Time Data-Access Analysis for Parallel Java Programs with Shared-Memory Communication Model. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Théodore Marescaux, Diederik Verkest, Jean-Yves Mignolet, Serge Vernalde |
Operating-system controlled network on chip. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
operating system, network on chip, MP-SoC |
| 1 | Andy Lambrechts, Tom Vander Aa, Murali Jayapala, Guillermo Talavera, Anthony Leroy, Adelina Shickova, Francisco Barat, Bingfeng Mei, Francky Catthoor, Diederik Verkest, Geert Deconinck, Henk Corporaal, Frédéric Robert, Jordi Carrabina Bordoll |
Design Style Case Study for Embedded Multi Media Compute Nodes. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingfeng Mei, Serge Vernalde, Diederik Verkest, Rudy Lauwereins |
Design Methodology for a Tightly Coupled VLIW/Reconfigurable Matrix Architecture: A Case Study. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stahl, Robert Pasko, Francky Catthoor, Rudy Lauwereins, Diederik Verkest |
High-Level Data-Access Analysis for Characterisation of (Sub)task-Level Parallelism in Java. |
HIPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Theofanis Orphanoudakis, Stylianos Perissakis, Kostas Pramataris, Nikos A. Nikolaou, Nicholas Zervos, Matthias Steck, Christoph Baumhof, Diederik Verkest, Chantal Ykman-Couvreur, Gregory Doumenis, Fotis Karoubalis, Ioanna Theologitou, Dionisios I. Reisis, George E. Konstantoulakis, Nikos Vogiatzis |
Hardware Architectures for the Efficient Implementation of Multi-Service Broadband Access and Multimedia Home Networks. |
Telecommunication Systems |
2003 |
DBLP DOI BibTeX RDF |
networking, network processor, home networking, residential gateway |
| 1 | Frederik Vermeulen, Francky Catthoor, Lode Nachtergaele, Diederik Verkest, Hugo De Man |
Power-efficient flexible processor architecture for embedded applications. |
IEEE Trans. VLSI Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Théodore Marescaux, Jean-Yves Mignolet, Andrei Bartic, W. Moffat, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
Networks on Chip as Hardware Components of an OS for Reconfigurable Systems. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingfeng Mei, Serge Vernalde, Diederik Verkest, Hugo De Man, Rudy Lauwereins |
ADRES: An Architecture with Tightly Coupled VLIW Processor and Coarse-Grained Reconfigurable Matrix. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Resano, Daniel Mozos, Diederik Verkest, Serge Vernalde, Francky Catthoor |
Run-Time Minimization of Reconfiguration Overhead in Dynamically Reconfigurable Systems. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Jean-Yves Mignolet, Andrei Bartic, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
Hierarchical Run-Time Reconfiguration Managed by an Operating System for Reconfigurable Systems. |
Engineering of Reconfigurable Systems and Algorithms |
2003 |
DBLP BibTeX RDF |
|
| 1 | Richard Stahl, Robert Pasko, Luc Rijnders, Diederik Verkest, Serge Vernalde, Rudy Lauwereins, Francky Catthoor |
Performance Analysis for Identification of (Sub-)Task-Level Parallelism in Java. |
SCOPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nollet, Paul Coene, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
Designing an Operating System for a Heterogeneous Reconfigurable So. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Resano, Diederik Verkest, Daniel Mozos, Serge Vernalde, Francky Catthoor |
Application of Task Concurrency Management on Dynamically Reconfigurable Hardware Platforms. (PDF / PS) |
FCCM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingfeng Mei, Serge Vernalde, Diederik Verkest, Hugo De Man, Rudy Lauwereins |
Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Mignolet, Vincent Nollet, Paul Coene, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
Infrastructure for Design and Management of Relocatable Tasks in a Heterogeneous Reconfigurable System-on-Chip. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Resano, Diederik Verkest, Daniel Mozos, Serge Vernalde, Francky Catthoor |
Run-Time Scheduling for Multimedia Applications on Dynamically Reconfigurable Systems. |
ESTImedia |
2003 |
DBLP BibTeX RDF |
|
| 1 | Chantal Ykman-Couvreur, J. Lambrecht, Diederik Verkest, Francky Catthoor, Bengt Svantesson, Ahmed Hemani, F. Wolf |
Dynamic memory management methodology applied to embedded telecom network systems. |
IEEE Trans. VLSI Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Desmet, Prabhat Avasare, Paul Coene, Stijn Decneut, Filip Hendrickx, Théodore Marescaux, Jean-Yves Mignolet, Robert Pasko, Patrick Schaumont, Diederik Verkest |
Design of Cam-E-leon, a Run-Time Reconfigurable Web Camera. |
Embedded Processor Design Challenges |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yajun Ha, Radovan Hipik, Serge Vernalde, Diederik Verkest, Marc Engels, Rudy Lauwereins, Hugo De Man |
Adding Hardware Support to the HotSpot Virtual Machine for Domain Specific Applications. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Théodore Marescaux, Andrei Bartic, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
Interconnection Networks Enable Fine-Grain Dynamic Multi-tasking on FPGAs. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chantal Ykman-Couvreur, J. Lambrecht, Diederik Verkest, Francky Catthoor, Aristides Nikologiannis, George E. Konstantoulakis |
System-level performance optimization of the data queueing memory management in high-speed network processors. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
memory management, system-level exploration |
| 1 | Steve Guccione, Diederik Verkest, Ivo Bolsens |
Design Technology for Networked Reconfigurable FPGA Platforms. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Yang, Chun Wong, Paul Marchal, Francky Catthoor, Dirk Desmet, Diederik Verkest, Rudy Lauwereins |
Energy-Aware Runtime Scheduling for Embedded-Multiprocessor SOCs. |
IEEE Design & Test of Computers |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Miranda, C. Ghez, Chidamber Kulkarni, Francky Catthoor, Diederik Verkest |
Systematic speed-power memory data-layout exploration for cache controlled embedded multimedia applications. |
ISSS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tycho van Meeuwen, Arnout Vandecappelle, Allert van Zelst, Francky Catthoor, Diederik Verkest |
System-level interconnect architecture exploration for custom memory organizations. |
ISSS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chun Wong, Paul Marchal, Peng Yang, Francky Catthoor, Hugo De Man, Aggeliki S. Prayati, Nathalie Cossement, Rudy Lauwereins, Diederik Verkest |
Task concurrency management methodology summary. |
DATE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Peng Yang, Chun Wong, Paul Marchal |
Optimisation Problems for Dynamic Concurrent Task-Based Systems. |
ICCAD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Frederik Vermeulen, Francky Catthoor, Diederik Verkest, Hugo De Man |
Formalized three-layer system-level model and reuse methodology for embedded data-dominated applications. |
IEEE Trans. VLSI Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Vermeulen, Lode Nachtergaele, Francky Catthoor, Diederik Verkest, Hugo De Man |
Flexible hardware acceleration for multimedia oriented microprocessors. |
MICRO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Desmet, Diederik Verkest, Hugo De Man |
Operating system based software generation for systems-on-chip. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Yang, Dirk Desmet, Francky Catthoor, Diederik Verkest |
Dynamic scheduling of concurrent tasks with cost performance trade-off. |
CASES |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Marchal, Chun Wong, Aggeliki S. Prayati, Nathalie Cossement, Francky Catthoor, Rudy Lauwereins, Diederik Verkest, Hugo De Man |
Dynamic Memory Oriented Transformations in the MPEG4 IM1-Player on a Low Power Platform. |
PACS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Joachim Kunkel, Frank Schirrmeister |
System Level Design Using C++. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Vermeulen, Francky Catthoor, Hugo De Man, Diederik Verkest |
Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated Applications. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Aggeliki S. Prayati, Chun Wong, Paul Marchal, Nathalie Cossement, Francky Catthoor, Rudy Lauwereins, Diederik Verkest, Hugo De Man, Alexios N. Birbas |
Task Concurrency Management Experiment for Power-Efficient Speed-up of Embedded MPEG4 IM1 Player. (PDF / PS) |
ICPP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Vermeulen, Francky Catthoor, Diederik Verkest, Hugo De Man |
Extended design reuse trade-offs in hardware-software architecture mapping. |
CODES |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaetano Borriello, Diederik Verkest, Francky Catthoor |
Guest Editorial. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Kris Croes, Miguel Miranda, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man |
Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management. |
VLSI Signal Processing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnout Vandecappelle, Miguel Miranda, Erik Brockmeyer, Francky Catthoor, Diederik Verkest |
Global Multimedia System Design Exploration Using Accurate Memory Organization Feedback. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chantal Ykman-Couvreur, J. Lambrecht, Diederik Verkest, Francky Catthoor, Hugo De Man |
Exploration and Synthesis of Dynamic Data Sets in Telecom Network Applications. (PDF / PS) |
ISSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vercauteren, Jan van der Steen, Diederik Verkest |
Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Desmet, Michiel Esvelt, Prabhat Avasare, Diederik Verkest, Hugo De Man |
Timed executable system specification of an ADSL modem using a C++ based design environment: a case study. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Leao da Silva Jr., Francky Catthoor, Diederik Verkest, Hugo De Man |
Power exploration for dynamic data types through virtual memory management refinement. |
ISLPED |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Miguel Miranda, Kris Croes, Sven Wuytack, Gjalt G. de Jong, Francky Catthoor, Diederik Verkest, Paul Six, Hugo De Man |
Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
technology mapping, programmable logic devices, PLA-style logic blocks |
| 1 | Francky Catthoor, Diederik Verkest, Erik Brockmeyer |
Proposal for Unified System Design Meta Flow in Task-Level and Instruction-Level Design Technology Research for Multi-Media Applications. (PDF / PS) |
ISSS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin |
Efficient Verification using Generalized Partial Order Analysis. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
High-level Design Validation, Formal Verification, Functional Verification |
| 1 | Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin |
Derivation of Formal Representations from Process-Based Specification and Implementation Models. (PDF / PS) |
ISSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Karl van Rompaey, Ivo Bolsens, Hugo De Man |
CoWare - A design environment for heterogeneous hardware/software systems. |
Design Autom. for Emb. Sys. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. |
Formal Methods in System Design |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU. |
Designing Correct Circuits |
1992 |
DBLP BibTeX RDF |
|
| 1 | Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man |
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis. |
TPHOLs |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 101 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")