2594 search results - page 271 / 519 » Elements of a Theory of Simulation |
161
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
170
click to vote
BIRTHDAY
2009
Springer
16 years 29 days ago
2009
Springer
We introduce a new class of games, asynchronous congestion games (ACGs). In an ACG, each player has a task that can be carried out by any element of a set of resources, and each r...
140
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
169
click to vote
RTAS
2008
IEEE
16 years 16 days ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
180
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...