Efficient computation of algebraic operations over dynamically reconfigurable systems specified by rewriting-logic environments

Algebraic Operations

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 ◽

Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic

ACM Transactions on Design Automation of Electronic Systems ◽

10.1145/1142155.1142156 ◽

2006 ◽

Vol 11 (2) ◽

pp. 251-281 ◽

Cited By ~ 7

Author(s):

M. Ayala-Rincón ◽

C. H. Llanos ◽

R. P. Jacobi ◽

R. W. Hartenstein

Keyword(s):

Reconfigurable Systems ◽

Rewriting Logic ◽

Time And Space ◽

Algebraic Operations

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

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 ◽

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 ◽