174 search results - page 9 / 35 » Loop Calculus for Satisfiability |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
- This paper describes the study of the force-closure workspace of a 6-DOF, cable-driven, parallel robot for the application in a hardware-in-the-loop dynamic simulator, which is u...
DAM
2008
13 years 7 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...
JPDC
2008
13 years 7 months ago
2008
Energy saving is becoming one of the major design issues in processor architectures with multiple functional units (FUs). Nested loops are usually the most critical part in multim...
CL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...