9739 search results - page 250 / 1948 » Object-Oriented Analysis and Design |
231
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
208
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
This paper studies TSV-to-TSV coupling in 3D ICs. A full-chip SI analysis flow is proposed based on the proposed coupling model. Analysis results show that TSVs cause significan...
191
click to vote
ISCAS
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...