378 search results - page 11 / 76 » Automating Coinduction with Case Analysis |
ASYNC
1998
IEEE
14 years 3 months ago
1998
IEEE
We describe an automated method (3D-map) for determining near-optimal decomposed generalized C-element (gC) implementations of extended burst-mode asynchronous controllers. Averag...
ISW
2009
Springer
14 years 5 months ago
2009
Springer
Various online studies on the prevalence of spyware attest overwhelming numbers (up to 80%) of infected home computers. However, the term spyware is ambiguous and can refer to anyt...
EUROMICRO
2009
IEEE
14 years 5 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
XPS
1997
14 years 6 days ago
1997
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
SAFECOMP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...