1205 search results - page 210 / 241 » Program Extraction from Large Proof Developments |
136
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Top-k query has long been an important topic in many fields of computer science. Efficient implementation of the top-k queries is the key for information searching. With the n...
WWW
2006
ACM
16 years 2 months ago
2006
ACM
In this paper, we present a system we have developed for automatic TV News video indexing that successfully combines results from the fields of speaker verification, acoustic anal...
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
106
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— High power dissipation in packet switches and routers is fast turning into a key problem, owing to increasing line speeds and decreasing chip sizes. To address this issue, we i...
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
The overhead in terms of code size, power consumption and execution time caused by the use of precompiled libraries and separate compilation is often unacceptable in the embedded ...