11097 search results - page 175 / 2220 » Hera presentation generator |
DAC
2002
ACM
15 years 11 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...
80
Voted
WWW
2004
ACM
15 years 11 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...
CHI
2009
ACM
15 years 10 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...
86
Voted
VLSID
2004
IEEE
15 years 10 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...
CADE
2008
Springer
15 years 10 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...