561 search results - page 14 / 113 » A Methodology for Example-Based Specification and Design |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
DATE
2003
IEEE
14 years 21 days ago
2003
IEEE
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
ICCD
1992
IEEE
13 years 11 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
DKE
2002
13 years 7 months ago
2002
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...