5243 search results - page 243 / 1049 » Reasoning About Strategies |
163
click to vote
AIEDAM
2006
15 years 6 months ago
2006
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
156
click to vote
IGPL
2006
15 years 6 months ago
2006
Very recently, a (fuzzy modal) logic to reason about coherent conditional probability, in the sense of de Finetti, has been introduced by the authors. Under this approach, a condi...
203
Voted
FCSC
2010
15 years 4 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
175
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
270
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...