7092 search results - page 558 / 1419 » Parallelizing constraint programs |
123
click to vote
HPCC
2007
Springer
15 years 11 months ago
2007
Springer
The grid security architecture today does not prevent certain unauthorized access to the files associated with a job executing on a remote machine. Programs and data are transferre...
139
click to vote
ISCOPE
1999
Springer
15 years 9 months ago
1999
Springer
Fill-reducing sparse matrix orderings have been a topic of active research for many years. Although most such algorithms are developed and analyzed within a graph-theoretical frame...
130
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
133
click to vote
FMCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
126
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...