9110 search results - page 287 / 1822 » Formally-Based Design Evaluation |
230
click to vote
SCP
2011
15 years 1 months ago
2011
Active libraries can be defined as libraries which play an active part in the compilation, in particular, the optimisation of their client code. This paper explores the implement...
168
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
The emerging three-dimensional integrated circuit (3D IC) is beneficial for various applications from both area and performance perspectives. While the general trend in processor...
160
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Product customization has been recognized as an effective means to implement mass customization. This paper focuses on the customizability issue of design, that is, to evaluate th...
159
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present a study that evaluates conventional Pan and Zoom Navigation and Rubber Sheet Navigation, a rectilinear Focus+Context technique. Each of the two navigation techniques wa...
161
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Navigational surrogates are representations that stand for information resources within search engine result sets, e-commerce sites, and digital libraries. They also form the basi...