The following pages link to Venkatesh-Prasad Ranganath (Q436394):
Displaying 8 items.
- Mining quantified temporal rules: formalism, algorithms, and evaluation (Q436396) (← links)
- (Q1888203) (redirect page) (← links)
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- Compiler Construction (Q5308727) (← links)
- Programming Languages and Systems (Q5316585) (← links)
- Fundamental Approaches to Software Engineering (Q5428883) (← links)
- Logical Concurrency Control from Sequential Proofs (Q5895524) (← links)
- Logical Concurrency Control from Sequential Proofs (Q5900865) (← links)
