Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Logical inference techniques for loop parallelization
Cosmin Eugen Oancea
, Lawrence Rauchwerger
Datalogisk Institut
12
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Logical inference techniques for loop parallelization'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%