355 search results - page 7 / 71 » An MDA-Based Approach for Inferring Concurrency in Distribut... |
102
click to vote
APPT
2003
Springer
15 years 4 months ago
2003
Springer
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...
203
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
117
Voted
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...
ENTCS
2008
14 years 11 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...