Sciweavers

2162 search results - page 391 / 433
» Automated Reasoning on Feature Models
Sort
View
125
Voted
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 9 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
124
Voted
IUI
2003
ACM
15 years 9 months ago
Sticky notes for the semantic web
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...
David R. Karger, Boris Katz, Jimmy J. Lin, Dennis ...
119
Voted
IPPS
1998
IEEE
15 years 8 months ago
Multiparadigm, Multilingual Interoperability: Experience with Converse
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
Laxmikant V. Kalé, Milind A. Bhandarkar, Ro...
139
Voted
SIGIR
2010
ACM
15 years 7 months ago
Understanding web browsing behaviors through Weibull analysis of dwell time
Dwell time on Web pages has been extensively used for various information retrieval tasks. However, some basic yet important questions have not been sufficiently addressed, e.g., ...
Chao Liu, Ryen W. White, Susan T. Dumais
ICMCS
2010
IEEE
849views Multimedia» more  ICMCS 2010»
15 years 4 months ago
High Dynamic Range image tone mapping based on local Histogram Equalization
High Dynamic Range (HDR) images can represent the acquired scene with a greater dynamic range of luminance than classical Low Dynamic Range (LDR) ones. Despite the recent diffusio...
Alberto Boschetti, Nicola Adami, Riccardo Leonardi...