275 search results - page 19 / 55 » Optimization in Graph Transformation Systems Using Petri Net... |
PDSE
2000
13 years 8 months ago
2000
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
ICCAD
1999
IEEE
13 years 11 months ago
1999
IEEE
Deep submicron technology calls for new design techniques, in which wire and gate delays are accounted to have equal or nearly equal effect on circuit behaviour. Asynchronous spee...
ICCAD
1998
IEEE
13 years 11 months ago
1998
IEEE
Retiming and resynthesis transformations can be used for optimizing the area, power, and delay of sequential circuits. Even though this technique has been known for more than a de...
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
SQJ
2008
13 years 7 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...