11097 search results - page 175 / 2220 » Hera presentation generator |
140
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
137
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The development of information and communication technologies and the expansion of the Internet means that, nowadays, there are huge amounts of information available via these eme...
118
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Expert recommender systems (ERS) are considered a promising technology in knowledge management. However, there are very few studies which evaluated their appropriation in practice...
141
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
In order to break the 100 W average power barrier of a wireless microsensor node, aggressive design methodologies need to be developed. Dynamic voltage scaling should be more aggr...
116
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...