6800 search results - page 648 / 1360 » Testing with Functions as Specifications |
201
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
The Esprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture and body-behavior from proprietary interfaces. ...
231
Voted
ISBI
2004
IEEE
16 years 8 months ago
2004
IEEE
We present an algorithm which allows us to reconstruct a RegionOf-Interest (ROI) from transaxial truncated cone-beam projections. While sometimes it is possible to reconstruct goo...
218
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Designing web sites is a complex task. Ad-hoc rapid prototyping easily leads to unsatisfactory results, e.g. poor maintainability and extensibility. However, existing web design f...
237
Voted
SAS
2009
Springer
16 years 7 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
147
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
This paper quantifies the performance of typical functional unit interface designs in single-chip systems. We introduce a specific equation to guide the design of optimal module i...