1992 search results - page 175 / 399 » Memory modeling for system synthesis |
151
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
180
Voted
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
154
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
147
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
177
click to vote
JIIS
2008
15 years 6 months ago
2008
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...