3970 search results - page 186 / 794 » A Logic For Causal Reasoning |
168
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
134
click to vote
ELP
1989
15 years 10 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
127
click to vote
DLOG
1996
15 years 7 months ago
1996
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy
197
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
174
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...