1249 search results - page 192 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
114
click to vote
JPDC
2006
14 years 11 months ago
2006
We propose a framework for defining agent-based models (ABMs) and two algorithms for the automatic parallelization of agent-based models, a general version P-ABMG for all ABMs def...
104
click to vote
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
FPL
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...