Uploads
Contact
/
Login
Upload
Search Results for 'Refinement'
On Abstraction Refinement for Program Analyses in
jane-oiler
A temporally abstracted Viterbi algorithm (TAV)
luanne-stotts
Interface Automata
luanne-stotts
Overriding
pasty-toler
Sea Surface Temperature algorithm refinement and validation
celsa-spraggs
Absolute Structure Ton Spek
alida-meadow
Family Circle
olivia-moreira
Superconvergence and adaptive refinements in FEM
myesha-ticknor
Crack growth analysis by a NURBS-based
natalia-silvester
Schema Refinement and
alida-meadow
Schema Refinement and
liane-varnes
Scalable SIMD-Efficient Graph Processing on GPUs
jane-oiler
C. Compositional Design and Verification of
danika-pritchard
The PLATON
pamella-moone
What is Needed for Proper Structure Validation and How to A
debby-jeon
Parallel View-Dependent Tessellation of Catmull-Clark Subdi
alexa-scheidler
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang
test
Renewable Energy Project Development and Finance Framework: The 5 Step Process
min-jolicoeur
Renewable Energy Project Development and Finance Framework: The 5 Step Process
min-jolicoeur
Property Directed Reachability with Word-Level Abstraction
kittie-lecroy
TPL-aware displacement-driven detailed placement refinement
alexa-scheidler
Relatively Complete Verification of Higher-Order Programs
giovanna-bartolotta