5243 search results - page 83 / 1049 » Reasoning About Strategies |
AAAI
2011
14 years 18 days ago
2011
138
click to vote
ATAL
2011
Springer
14 years 17 days ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
61
Voted
ATAL
2011
Springer
14 years 17 days ago
2011
Springer
200
Voted
CONCUR
2011
Springer
14 years 12 days ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
117
Voted
VALUETOOLS
2006
ACM
15 years 6 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...