612 search results - page 44 / 123 » Bridging the Gap between Systems Design |
141
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
123
click to vote
RIAO
2004
15 years 3 months ago
2004
We present a system for mapping the structure of research topics in a corpus. TermWatch portrays the "aboutness" of a corpus of scientific and technical publications by ...
121
click to vote
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
115
Voted
MM
2010
ACM
15 years 2 months ago
2010
ACM
Content-based image search on the Internet is a challenging problem, mostly due to the semantic gap between low-level visual features and high-level content, as well as the excess...
126
Voted
TECS
2008
15 years 1 months ago
2008
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...