Search Results for 'implementation edge'
implementation edge published presentations and documents on DocSlides.
On Abstraction Refinement for Program Analyses in
by jane-oiler
Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...
On Abstraction Refinement for Program Analyses in
by giovanna-bartolotta
Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...
Synchronization trade-offs in GPU implementations of Graph Algorithms
by phoebe-click
Rashid Kaleem. 1. , . Anand. Venkat. 2. , . Sree...
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang
by test
On Abstraction Refinement for Program Analyses in...
