9110 search results - page 455 / 1822 » Formally-Based Design Evaluation |
176
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
199
click to vote
VLSISP
2008
15 years 6 months ago
2008
Each new semiconductor technology node brings smaller, faster transistors and smaller, slower wires. In particular, long interconnect wires in modern FPGAs now require rebuffering ...
270
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
143
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Data mining techniques are routinely used by fundraisers to select those prospects from a large pool of candidates who are most likely to make a financial contribution. These tech...
178
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present two interfaces to support one-handed thumb use for PDAs and cell phones. Both use Scalable User Interface (ScUI) techniques to support multiple devices with different r...