Search results for "ForSyDe"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Ingo Sander, Axel Jantsch, Zhonghai Lu	Development and Application of Design Transformations in ForSyDe.	DATE	2003	DBLP DOI BibTeX RDF
104	Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch	Verification of design decisions in ForSyDe.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	design refinement, verification, system design
81	Ingo Sander, Axel Jantsch	System modeling and transformational design refinement in ForSyDe [formal system design].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
81	Ingo Sander, Axel Jantsch, Zhonghai Lu	A Case Study of Hardware and Software Synthesis in ForSyDe.	ISSS	2002	DBLP DOI BibTeX RDF	system design, design methodology, software synthesis, hardware synthesis
60	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch	EWD: A metamodeling driven customizable multi-MoC system modeling framework.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
34	George Ungureanu, José Edil Guimarães de Medeiros, Timmy Sundström, Ingemar Söderquist, Anders Åhlander, Ingo Sander	ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
34	George Ungureanu	ForSyDe-Atom: Design of Heterogeneous Embedded Systems: Taming Complexity with Layers, Atoms and Patterns.		2021	RDF
34	Ingo Sander, Axel Jantsch, Seyed-Hosein Attarzadeh-Niaki	ForSyDe: System Design Using a Functional Language and Models of Computation.	Handbook of Hardware/Software Codesign	2017	DBLP DOI BibTeX RDF
34	Hussein Ezzeddine, Johnny Öberg, Francesco Robino	Validation of Pipelined Double-precision Floating Point operations in a multi-core environment implemented on FPGA using the ForSyDe/NoC system generator tool suite.	NORCHIP	2014	DBLP DOI BibTeX RDF
34	Ingo Sander, Axel Jantsch	Modelling Adaptive Systems in ForSyDe.	VerAS@TPHOLs	2007	DBLP DOI BibTeX RDF
34	Ingo Sander	System Modeling and Design Refinement in ForSyDe.		2003	RDF
23	Zhonghai Lu, Ingo Sander, Axel Jantsch	Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication.	DSD	2006	DBLP DOI BibTeX RDF
23	Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch	Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.	DATE	2004	DBLP DOI BibTeX RDF
23	Ingo Sander, Axel Jantsch	Transformation based communication and clock domain refinement for system design.	DAC	2002	DBLP DOI BibTeX RDF	design refinement, system design, system modeling