121 search results - page 22 / 25 » GridSAT: a system for solving satisfiability problems using ... |
MKM
2009
Springer
14 years 3 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Coalition formation is an important form of interaction in multiagent systems. It enables the agents to satisfy tasks that they would otherwise be unable to perform, or would perf...
ANOR
2004
13 years 8 months ago
2004
We present an iterative cutting plane method for minimizing staffing costs in a service system subject to satisfying acceptable service level requirements over multiple time perio...