1552 search results - page 244 / 311 » A Polymorphic Hardware Platform |
137
Voted
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
150
Voted
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Mobile interaction can potentially be enhanced with welldesigned haptic control and display. However, advances have been limited by a vicious cycle whereby inadequate haptic techn...
214
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
SR-IOV capable network devices offer the benefits of direct I/O throughput and reduced CPU utilization while greatly increasing the scalability and sharing capabilities of the devi...
204
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We propose to demonstrate EaseDB, the first cache-oblivious query processor for in-memory relational query processing. The cacheoblivious notion from the theory community refers t...
240
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
The primary goal of data stream research is to develop space and time efficient solutions for answering continuous online summarization queries. Research efforts over the last dec...