4426 search results - page 466 / 886 » Concurrent Constraint Programming |
174
click to vote
HPDC
2002
IEEE
15 years 12 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
176
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Assuming the Unique Games Conjecture (UGC), we show optimal inapproximability results for two classic scheduling problems. We obtain a hardness of 2 − ε for the problem of mini...
183
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
183
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
165
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...