Formal verification of dynamically reconfigurable systems

Integrated scheduling and configuration caching in dynamically reconfigurable systems

2010 International Conference on Intelligent and Advanced Systems ◽

10.1109/icias.2010.5716227 ◽

2010 ◽

Author(s):

Ali Ahmadinia

Keyword(s):

Reconfigurable Systems ◽

Integrated Scheduling

20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) ◽

Proposal of Dynamic Module Library for System Level Modeling and Simulation of Dynamically Reconfigurable Systems

10.1109/vlsid.2007.134 ◽

2007 ◽

Cited By ~ 1

Author(s):

Kenji Asano ◽

Junji Kitamichi ◽

Kenichi Kuroda

Keyword(s):

Modeling And Simulation ◽

System Level ◽

Reconfigurable Systems ◽

System Level Modeling

Module Allocation for Dynamically Reconfigurable Systems

Lecture Notes in Computer Science - Parallel and Distributed Processing ◽

10.1007/3-540-45591-4_128 ◽

2000 ◽

pp. 932-940

Author(s):

Xue-jie Zhang ◽

Kam-wing Ng

Keyword(s):

Reconfigurable Systems ◽

Lecture Notes in Computer Science - Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing ◽

A Combined Approach to High-Level Synthesis for Dynamically Reconfigurable Systems

10.1007/3-540-44614-1_39 ◽

2000 ◽

pp. 361-370

Author(s):

Xue-jie Zhang ◽

Kam-wing Ng ◽

Wayne Luk

Keyword(s):

High Level Synthesis ◽

Reconfigurable Systems ◽

Combined Approach ◽

High Level

Dynamically Reconfigurable Systems

10.1007/978-90-481-3485-4 ◽

2010 ◽

Cited By ~ 18

Keyword(s):

Reconfigurable Systems ◽

Scheduling and Resource Planner Based on Multicriteria Method for Partially Dynamically Reconfigurable Systems

IEEE Latin America Transactions ◽

10.1109/tla.2020.9085298 ◽

2020 ◽

Vol 18 (02) ◽

pp. 414-421

Author(s):

Alejandro Nunez Manquez ◽

Julio Dondo Gazzano ◽

Mario Marcelo Beron ◽

Carlos Sosa Paez ◽

Roberto Martin Murdocca

Keyword(s):

Reconfigurable Systems ◽

Multicriteria Method

Evaluation Methodologies in the Development of Dynamically Reconfigurable Systems in the Automotive Industry

10.4271/2020-01-1363 ◽

2020 ◽

Author(s):

Florian Oszwald ◽

Ruben Bertelo ◽

Manuel Gericota ◽

Juergen Becker

Keyword(s):

Automotive Industry ◽

Reconfigurable Systems ◽

Evaluation Methodologies ◽

Dynamic Module Library for System Level Modeling and Simulation of Dynamically Reconfigurable Systems

Journal of Computers ◽

10.4304/jcp.3.2.55-62 ◽

2008 ◽

Vol 3 (2) ◽

Cited By ~ 7

Author(s):

Kenji Asano ◽

Junji Kitamichi ◽

Kenichi Kuroda

Keyword(s):

Modeling And Simulation ◽

System Level ◽

Reconfigurable Systems ◽

System Level Modeling

2006 IEEE International Conference on Acoustics Speed and Signal Processing Proceedings ◽

Evaluation of 3D-packing representations for scheduling of dynamically reconfigurable systems

10.1109/iscas.2006.1693626 ◽

2006 ◽

Cited By ~ 5

Author(s):

Y. Kohira ◽

C. Kodama ◽

K. Fujiyoshi ◽

A. Takahashi

Keyword(s):

Reconfigurable Systems ◽

3D Packing

Proceedings of the 17th symposium on Integrated circuits and system design - SBCCI '04 ◽

Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic

10.1145/1016568.1016634 ◽

2004 ◽

Cited By ~ 4

Author(s):

Mauricio Ayala-Rinc�n ◽

Ricardo P. Jacobi ◽

Luis G. A. Carvalho ◽

Carlos H. Llanos ◽

Reiner W. Hartenstein

Keyword(s):

Dynamic Programming ◽

Reconfigurable Systems ◽

Efficient Computation ◽

Rewriting Logic ◽