| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elena Maftei, Paul Pop, Jan Madsen |
Routing-based synthesis of digital microfluidic biochips.  |
Design Autom. for Emb. Sys.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhe Gan, Paul Pop, Flavius Gruian, Jan Madsen |
Robust and flexible mapping for real-time distributed applications during the early design phases. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Per Larsen, Sven Karlsson, Jan Madsen |
Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs. |
IEEE Trans. Industrial Informatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wajid Hassan Minhass, Paul Pop, Jan Madsen |
System-level modeling and synthesis of flow-based microfluidic biochips. |
CASES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhe Gan, Flavius Gruian, Paul Pop, Jan Madsen |
Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems. |
ASP-DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Pop, Elena Maftei, Jan Madsen |
Recent research and emerging challenges in the System-Level Design of digital microfluidic biochips. |
SoCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Dick, Jan Madsen (eds.) |
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, part of ESWeek '11 Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011 |
CODES+ISSS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elena Maftei, Paul Pop, Jan Madsen |
Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sørensen, Jan Madsen |
Generating Process Network Communication Infrastructure for Custom Multi-Core Platforms. |
IJERTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Maftei, Paul Pop, Jan Madsen |
Routing-based synthesis of digital microfluidic biochips. |
CASES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Reibel Boesen, Pascal Schleuniger, Jan Madsen |
Feasibility Study of a Self-healing Hardware Platform. |
ARC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen |
DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. |
WOWMOM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhat Kumar Saraswat, Paul Pop, Jan Madsen |
Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
quality of service, fault-tolerance, design methodologies, real-time distributed |
| 1 | S. F. Nielsen, Jens Sparsø, Jan Madsen |
Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend. |
IEEE Trans. VLSI Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Larsen, Sven Karlsson, Jan Madsen |
Identifying Inter-task Communication in Shared Memory Programming Models. |
IWOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Maftei, Paul Pop, Jan Madsen |
Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips. |
CASES |
2009 |
DBLP DOI BibTeX RDF |
reconfigurability, microfluidics, biochips |
| 1 | Anders Sejer Tranberg-Hansen, Jan Madsen |
Exploration of a digital audio processing platform using a compositional system level performance estimation framework. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Sejer Tranberg-Hansen, Jan Madsen |
A compositional modelling framework for exploring MPSoC systems. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
MPSoC, system level design, performance estimation |
| 1 | Aske Wiid Brekling, Michael R. Hansen, Jan Madsen |
Models and formal verification of multiprocessor system-on-chips. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen |
A Reactive and Cycle-True IP Emulator for MPSoC Exploration. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kehuai Wu, Esben Rosenlund Hansen, Jan Madsen |
Towards Understanding and Managing the Dynamic Behavior of Run-Time Reconfigurable Architectures. |
ERSA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anders Sejer Tranberg-Hansen, Jan Madsen, Bjørn Sand Jensen |
A service based estimation method for MPSoC performance modelling. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Mahadevan, Kashif Virk, Jan Madsen |
ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kehuai Wu, Jan Madsen |
COSMOS: A System-Level Modelling and Simulation Framework for Coprocessor-Coupled Reconfigurable Systems. |
ICSAMOS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudy Lauwereins, Jan Madsen (eds.) |
2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France |
DATE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Hansen, Jan Madsen, Aske Wiid Brekling |
Semantics and Verification of a Language for Modelling Hardware Architectures. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Hardware descriptions, model- checking, verification, semantics |
| 1 | Kehuai Wu, Andreas Kanstein, Jan Madsen, Mladen Berekovic |
MT-ADRES: Multithreading on Coarse-Grained Reconfigurable Architecture. |
ARC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan |
Multi-Objective Design Space Exploration of Embedded System Platforms. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jari Nurmi, Jan Madsen, Erwin Ofner, Jouni Isoaho, Hannu Tenhunen |
The SoC-Mobinet Model in System-on-Chip Education. |
MSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kashif Virk, Jan Madsen, Andreas Vad Lorentzen, Martin Leopold, Philippe Bonnet |
Design of A Development Platform for HW/SW Codesign ofWireless Integrated Sensor Nodes. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen |
A Traffic Injection Methodology with Support for System-Level Synchronization. |
VLSI-SoC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Mahadevan, Michael Storgaard, Jan Madsen, Kashif Virk |
ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Mahadevan, Federico Angiolini, Michael Storgaard, Rasmus Grøndahl Olsen, Jens Sparsø, Jan Madsen |
A Network Traffic Generator Model for Fast Network-on-Chip Simulation. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | S. F. Nielsen, Jens Sparsø, Jan Madsen |
Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen, Shankar Mahadevan, Kashif Virk, Mercury Gonzalez |
Network-on-Chip Modeling for System-Level Multiprocessor Simulation. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | S. F. Nielsen, Jan Madsen |
Power Constrained High-Level Synthesis of Battery Powered Digital Systems. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen |
A Sophomore Course in Codesign. |
IEEE Computer |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu (eds.) |
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001 |
CODES |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hans Holten-Lund, Mogens Hvidtfeldt, Jan Madsen, Steen Pedersen |
VRML visualization in a surgery planning and diagnostics application. |
Web3D |
2000 |
DBLP DOI BibTeX RDF |
acetabular dysplasia, Java, VRML, medical visualization, surgery planning |
| 1 | Thomas Gleerup, Hans Holten-Lund, Jan Madsen, Steen Pedersen |
Memory architecture for efficient utilization of SDRAM: a case study of the computation/memory access trade-off. |
CODES |
2000 |
DBLP DOI BibTeX RDF |
case study, memory architecture, 3D graphics |
| 1 | Frank Vahid, Jan Madsen (eds.) |
Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000 |
CODES |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Voigt Knudsen, Jan Madsen |
Integrating communication protocol selection with hardware/software codesign. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Voigt Knudsen, Jan Madsen |
Graph based communication analysis for hardware/software codesign. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen, Peter Bjørn-Jørgensen |
Embedded system synthesis under memory constraints. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Voigt Knudsen, Jan Madsen |
Integrating Communication Protocol Selection with Partitioning in Hardware/Software Codesign. (PDF / PS) |
ISSS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Grode, Peter Voigt Knudsen, Jan Madsen |
Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
Cosynthesis, LYCOS System, Resource Allocation, HW/SW Partitioning |
| 1 | Jesper Grode, Jan Madsen |
A Uni.ed Component Modeling Approach for Performance Estimation in Hardware/Software Codesign. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Voigt Knudsen, Jan Madsen |
Communication estimation for hardware/software codesign. |
CODES |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne Elisabeth Haxthausen |
LYCOS: the Lyngby Co-Synthesis System. |
Design Autom. for Emb. Sys. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Madsen |
Validation and testing of sC++ applications. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
sC++, Random Walk validation, concurrent version, testing, validation, program verification, search techniques, testing programs |
| 1 | D. C. R. Jensen, Jan Madsen, Steen Pedersen |
The importance of interfaces: a HW/SW codesign case study. |
CODES |
1997 |
DBLP DOI BibTeX RDF |
hardware software interface, case study, image sequences, optical flow, image analysis, hardware software codesign, prototype system, optimal solutions, functional modules, system level |
| 1 | Peter Bjørn-Jørgensen, Jan Madsen |
Critical path driven cosynthesis for heterogeneous target architectures. |
CODES |
1997 |
DBLP DOI BibTeX RDF |
critical path driven, heterogeneous target architectures, list based scheduling, path driven cosynthesis, single-rate systems, task scheduling, processor scheduling, data dependencies, target architecture |
| 1 | Jan Madsen, Jens P. Brage |
Codesign analysis of a computer graphics application. |
Design Autom. for Emb. Sys. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Voigt Knudsen, Jan Madsen |
PACE: A Dynamic Programming Algorithm for Hardware/Software Partitioning. |
CODES |
1996 |
DBLP DOI BibTeX RDF |
communication, Codesign, hardware/software partitioning, performance estimation, area estimation, co-synthesis |
| 1 | Jan Madsen, Bjarne Hald |
An approach to interface synthesis. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication |
| 1 | Jan Madsen, Jens P. Brage |
Modeling shared variables in VHDL. |
EURO-DAC |
1994 |
DBLP DOI BibTeX RDF |
VHDL |
| 1 | Jens P. Brage, Jan Madsen |
A codesign case study in computer graphics. |
CODES |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarne Hald, Jan Madsen |
Performance Aspects of Gate Matrix Layout. |
VLSI Design |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jan Madsen |
Single-Level Wiring for CMOS Functional Cells. |
VLSI |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")