A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.349.3 ◽

2021 ◽

Vol 349 ◽

pp. 31-49

Author(s):

Lorenzo Capra

Keyword(s):

Petri Nets ◽

Reconfigurable Systems ◽

Dynamically Reconfigurable

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 ◽

Dynamically Reconfigurable ◽

Integrated Scheduling

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

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

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 ◽

Dynamically Reconfigurable ◽

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 ◽

Dynamically Reconfigurable

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

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

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 ◽

Dynamically Reconfigurable ◽

High Level

Dynamically Reconfigurable Systems

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

2010 ◽

Cited By ~ 18

Keyword(s):

Reconfigurable Systems ◽

Dynamically Reconfigurable

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 ◽

Dynamically Reconfigurable ◽

Multicriteria Method

Formal verification of dynamically reconfigurable systems

2015 IEEE 4th Global Conference on Consumer Electronics (GCCE) ◽

10.1109/gcce.2015.7398597 ◽

2015 ◽

Cited By ~ 1

Author(s):

Ryo Yanase ◽

Tatsunori Sakai ◽

Makoto Sakai ◽

Satoshi Yamane

Keyword(s):

Formal Verification ◽

Reconfigurable Systems ◽

Dynamically Reconfigurable

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 ◽

Dynamically Reconfigurable

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 ◽

Dynamically Reconfigurable ◽

System Level Modeling

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

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

10.1109/iscas.2006.1693626 ◽

2006 ◽

Cited By ~ 5

Author(s):

Y. Kohira ◽

C. Kodama ◽

K. Fujiyoshi ◽

A. Takahashi

Keyword(s):

Reconfigurable Systems ◽

Dynamically Reconfigurable ◽

3D Packing