1491 search results - page 146 / 299 » Resource-Passing Concurrent Programming |
105
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
92
Voted
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
DIGRA
2005
Springer
15 years 6 months ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
98
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
TOOLS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...