Ingo Sander
Titolo
Citata da
Citata da
Anno
System modeling and transformational design refinement in ForSyDe [formal system design]
I Sander, A Jantsch
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
2182004
Models of computation and languages for embedded system design
A Jantsch, I Sander
IEE Proceedings-Computers and Digital Techniques 152 (2), 114-129, 2005
1292005
System modeling and design refinement in ForSyDe
I Sander
Mikroelektronik och informationsteknik, 2003
752003
Feasibility analysis of messages for on-chip networks using wormhole routing
Z Lu, A Jantsch, I Sander
Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005
592005
Formal heterogeneous system modeling with SystemC
SHA Niaki, MK Jakobsen, T Sulonen, I Sander
Proceeding of the 2012 Forum on Specification and Design Languages, 160-167, 2012
392012
Flexible bus and NoC performance analysis with configurable synthetic workloads
R Thid, I Sander, A Jantsch
9th EUROMICRO Conference on Digital System Design (DSD'06), 681-688, 2006
392006
Application and verification of local nonsemantic-preserving transformations in system design
T Raudvere, I Sander, A Jantsch
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
372008
A constraint-based design space exploration framework for real-time applications on MPSoCs
K Rosvall, I Sander
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
342014
Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures
J Zhu, I Sander, A Jantsch
2009 Design, Automation & Test in Europe Conference & Exhibition, 1506-1511, 2009
332009
On the roles of functions and objects in system specification
A Jantsch, I Sander
Proceedings of the eighth international workshop on Hardware/software …, 2000
312000
Energy efficient streaming applications with guaranteed throughput on MPSoCs
J Zhu, I Sander, A Jantsch
Proceedings of the 8th ACM international conference on Embedded software …, 2008
302008
System synthesis based on a formal computational model and skeletons
I Sander, A Jantsch
Proceedings. IEEE Computer Society Workshop on VLSI'99. System Design …, 1999
291999
System level synthesis of hardware for DSP applications using pre-characterized function implementations
S Li, N Farahini, A Hemani, K Rosvall, I Sander
2013 International Conference on Hardware/Software Codesign and System …, 2013
282013
Constrained global scheduling of streaming applications on MPSoCs
J Zhu, I Sander, A Jantsch
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), 223-228, 2010
272010
Hetmoc: Heterogeneous modelling in systemc
J Zhu, I Sander, A Jantsch
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
262010
A case study of hardware and software synthesis in ForSyDe
Z Lu, I Sander, A Jantsch
Proceedings of the 15th international symposium on System Synthesis, 86-91, 2002
252002
Modelling adaptive systems in ForSyDe
I Sander, A Jantsch
Electronic Notes in Theoretical Computer Science 200 (2), 39-54, 2008
242008
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework
SHA Niaki, I Sander
2011 6th IEEE International Symposium on Industrial and Embedded Systems …, 2011
232011
Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints
E Paone, F Robino, G Palermo, V Zaccaria, I Sander, C Silvano
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 736-741, 2015
212015
Transformation based communication and clock domain refinement for system design
I Sander, A Jantsch
Proceedings of the 39th annual Design Automation Conference, 281-286, 2002
212002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20