681 search results - page 77 / 137 » A Logic for True Concurrency |
108
click to vote
IPL
2008
14 years 12 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ï...
190
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
84
Voted
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...
110
click to vote
TIME
2009
IEEE
15 years 6 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...