546 search results - page 88 / 110 » An operational happens-before memory model |
75
Voted
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
SECON
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
ICNP
2005
IEEE
15 years 3 months ago
2005
IEEE
In pricing-based congestion control protocols it is common to assume that the rate of congestion feedback from the network is limited to a single bit per packet. To obtain a preci...
RT
2004
Springer
15 years 3 months ago
2004
Springer
We present a method for interactive rendering of dynamic models with self-shadows due to time-varying, lowfrequency lighting environments. In contrast to previous techniques, the ...
POS
1994
Springer
15 years 1 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...