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
Logical inference techniques for loop parallelization
Cosmin Eugen Oancea
, Lawrence Rauchwerger
Department of Computer Science
12
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Logical inference techniques for loop parallelization'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Loop Parallelization
100%
For Loop
100%
Set Representation
66%
Array Indexing
66%
Independence Condition
66%
Set Expression
66%
Complex Predicates
33%
Array Abstraction
33%
Expression Language
33%
Conservative Approximation
33%
Automatic Approach
33%
Memory References
33%
Language Translation
33%
Representation Language
33%
Computer Science
for Loop
100%
Array Reference
25%
Translation (Languages)
25%