383 search results - page 51 / 77 » Testing Concurrent Systems: A Formal Approach |
126
click to vote
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
142
Voted
TCBB
2008
15 years 3 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
122
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
142
click to vote
AAI
2006
15 years 3 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
136
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...