655 search results - page 79 / 131 » Coinduction in Concurrent Timed Systems |
125
Voted
EUROSYS
2007
ACM
16 years 18 days ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
119
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
Multiplayer online games have become very popular in recent years. However, they generally suffer from network latency problem. If a player changes its states, it will take some ...
125
Voted
EUC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
137
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
123
Voted
ICSM
1995
IEEE
15 years 7 months ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...