2041 search results - page 313 / 409 » Modelling Generic Judgements |
128
Voted
DAC
2000
ACM
16 years 4 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. ...
117
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Current-day crawlers retrieve content only from the publicly indexable Web, i.e., the set of Web pages reachable purely by following hypertext links, ignoring search forms and pag...
145
Voted
ICCAD
2003
IEEE
16 years 13 days ago
2003
IEEE
—While array structures are a significant source of power dissipation, there is a lack of accurate high-level power estimators that account for varying array circuit implementat...
120
click to vote
ICCAD
2001
IEEE
16 years 13 days ago
2001
IEEE
This paper presents the sizing rules method for analog CMOS circuit design that consists of: first, the development of a hierarchical library of transistor pair groups as basic b...
117
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...