Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
A Hybrid Approach to Proving Memory Reference Monotonicity
Cosmin Eugen Oancea
, Lawrence Rauchwerger
9
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Hybrid Approach to Proving Memory Reference Monotonicity'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Hybrid Method
100%
Monotonicity Property
100%
Memory References
100%
Runtime Analysis
50%
General Techniques
50%
Automated Solution
50%
Dynamic Validation
50%
Large Classes
50%
Reference Pattern
50%
Static Analysis
50%
Automatic Parallelization
50%
Nonlinearity
50%
Linear Expression
50%
Compiler Analysis
50%
Runtime Overhead
50%
Reference Trace
50%
Mathematical Support
50%
Computer Science
Hybrid Approach
100%
Array Subscript
50%
Reference Pattern
50%