6 search results - page 1 / 2 » Reconfigurable Open Algebraic High-Level Systems |
ECEASST
2008
13 years 5 months ago
2008
ECEASST
2008
13 years 4 months ago
2008
DSD
2010
IEEE
13 years 3 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
FCCM
2011
IEEE
12 years 9 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
IFIPTCS
2000
13 years 8 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...