Search Sciweavers | Sciweavers

21

FUIN
2007

89views more FUIN 2007»

The Decent Philosophers: An Exercise in Concurrent Behaviour

13 years 9 months ago

Concurrent runs reveal more insight into distributed systems than interleaved runs. This is shown by help of Dijkstra’s paradigm of ﬁve philosophers.

Wolfgang Reisig

claim paper

Read More »

18

click to vote

CASCON
2006

96views Education» more CASCON 2006»

Addressing concurrency in object-oriented software development

13 years 11 months ago

Download www.cs.mcgill.ca

E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...

Jörg Kienzle, Shane Sendall

claim paper

Read More »

31

click to vote

MASCOTS
1993

109views Modeling And Simulation» more MASCOTS 1993»

Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed Databases

13 years 11 months ago

Download ru6.cti.gr

This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...

Christos Bouras, Paul G. Spirakis

claim paper

Read More »

35

click to vote

FORTE
2007

95views Formal Methods» more FORTE 2007»

Recovering Repetitive Sub-functions from Observations

13 years 11 months ago

Download www.site.uottawa.ca

This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive subfunctions, constructs a Message Sequence Charts (MSC) gr...

Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hü...

claim paper

Read More »

17

click to vote

FDTC
2007
Springer

82views Cryptology» more FDTC 2007»

Register Transfer Level Concurrent Error Detection in Elliptic Curve Crypto Implementations

14 years 4 months ago

Download conferenze.dei.polimi.it

Richard Stern, Nikhil Joshi, Kaijie Wu, Ramesh Kar...

claim paper