2917 search results - page 18 / 584 » Satisfying Interaction Constraints |
111
Voted
SC
2005
ACM
15 years 7 months ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
116
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We investigate different evaluation strategies for planning problems represented as constraint satisfaction or satisfiability problems. The standard evaluation strategy, ...
131
Voted
JCPHY
2011
14 years 4 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
105
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
139
Voted
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...