378 search results - page 20 / 76 » Automating Coinduction with Case Analysis |
ISSS
1998
IEEE
14 years 3 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
CODES
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
GI
2004
Springer
14 years 4 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
DAC
1998
ACM
15 years 3 days ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
AUSAI
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. X-ray mammography is the current clinical method for screening for breast cancer, and like any technique, has its limitations. Several groups have reported differences i...