1271 search results - page 161 / 255 » On Simulation-Checking with Sequential Systems |
SIGIR
2009
ACM
14 years 4 months ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...
ICCAD
1995
IEEE
14 years 1 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
MIR
2010
ACM
14 years 5 months ago
2010
ACM
Vision-based user interfaces enable natural interaction modalities such as gestures. Such interfaces require computationally intensive video processing at low latency. We demonstr...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...