1939 search results - page 289 / 388 » Dynamic Lex Constraints |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
KDD
2008
ACM
14 years 10 months ago
2008
ACM
We introduce the problem of query decomposition, where we are given a query and a document retrieval system, and we want to produce a small set of queries whose union of resulting...
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
We present minimization methodologies and an algorithm for simultaneous scheduling, binding, and allocation for the reduction of total power and power fluctuation during behaviora...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
This paper presents a Computer-Aided Design (CAD) platform for designers to navigate and construct 3D model intuitively through Tangible User Interfaces (TUIs). We suggest that 3D...
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
This paper presents three policies for effectively utilizing TCP offload network interfaces that support connection handoff. These policies allow connection handoff to reduce the ...