10707 search results - page 1761 / 2142 » Designing executable abstractions |
180
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
Although information visualization (infovis) technologies have proven indispensable tools for making sense of complex data, wide-spread deployment has yet to take hold, as success...
186
click to vote
VLSID
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
202
click to vote
VLSID
2005
IEEE
16 years 8 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
214
Voted
HPCA
2003
IEEE
16 years 7 months ago
2003
IEEE
A challenging issue in today's server systems is to transparently deal with failures and application-imposed requirements for continuous operation. In this paper we address t...
191
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In this paper we present ECS Display, a large plasma screen that tracks the user's point of gaze from a distance, without any calibration. We discuss how we applied ECS Displ...