648 search results - page 33 / 130 » A Proposal for ASM Diagrams |
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
We propose new techniques for efficient breadth-first iterative manipulation of ROBDDs. Breadth-first iterative ROBDD manipulation can potentially reduce the total elapsed time by...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
Data modeling is an essential part of the software development process, and together with application modeling forms the core of the model-driven approach to software engineering....
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
CAIP
2009
Springer
14 years 2 months ago
2009
Springer
Segmentation of Nom characters from body text regions of stele images is a challenging problem due to the confusing spatial distribution of the connected components composing these...
GLVLSI
2008
IEEE
14 years 2 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...