873 search results - page 86 / 175 » Software Design As Framework Reuse: A Knowledge-Based Approa... |
SIMUTOOLS
2008
14 years 11 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
119
click to vote
ACMDIS
1995
ACM
15 years 1 months ago
1995
ACM
Effective communication is critical to the success of a software development project. It factors into the productivity of individuals and organizations, and has particular impact ...
WSC
2007
15 years 4 days ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...