1163 search results - page 102 / 233 » Concurrent Subspaces Analysis |
112
Voted
PADS
1997
ACM
15 years 7 months ago
1997
ACM
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...
106
Voted
CONCURRENCY
2008
15 years 3 months ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
96
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
141
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
126
Voted
IJSTM
2000
15 years 3 months ago
2000
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...