1987 search results - page 27 / 398 » Structural Model: Architecture for Software Designers |
DAC
1999
ACM
14 years 9 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
COSIT
2009
Springer
14 years 3 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
WETICE
1998
IEEE
14 years 22 days ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
ICCAD
2007
IEEE
14 years 5 months ago
2007
IEEE
— The need to perform power analysis in the early stages of the design process has become critical as power has become a major design constraint. Embedded and highperformance mic...