655 search results - page 39 / 131 » Coinduction in Concurrent Timed Systems |
125
click to vote
CONCURRENCY
2008
15 years 1 months ago
2008
Very large size Peer-to-Peer systems are often required to implement efficient and scalable services, but usually they can be built only by assembling resources contributed by man...
148
click to vote
ISPE
2003
15 years 4 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
123
click to vote
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...
131
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
142
click to vote
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...