1492 search results - page 216 / 299 » Concurrent programming in VISO |
105
click to vote
ICALP
2010
Springer
15 years 5 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...
102
Voted
IFIP
2009
Springer
15 years 5 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...
104
click to vote
PPDP
2001
Springer
15 years 5 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...
85
Voted
OOPSLA
1999
Springer
15 years 5 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 ...
117
Voted
POS
1998
Springer
15 years 5 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...