Back to Results
First PageMeta Content
Software engineering / Application programming interfaces / Fortran / OpenMP / Model theory / Task parallelism / Stack / Stable model semantics / Term algebra / Computing / Computer programming / Parallel computing


Concise analysis using implication algebras for task-local memory optimisation Leo White and Alan Mycroft Computer Laboratory, University of Cambridge William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK
Add to Reading List

Document Date: 2013-04-17 08:32:31

Open Document

File Size: 361,61 KB

Share Result on Facebook

City

Introduction Task / /

Company

TP / To / /

Currency

pence / /

/

Facility

University of Cambridge William Gates Building / /

IndustryTerm

brought mainstream applications / task-based systems / scientific applications / shared-memory multi-processors / proof search / immediate consequence operator / /

Organization

University of Cambridge William Gates Building / OpenMP Architecture Review Board / /

Person

Leo White / /

Position

HB / Herbrand base HB / General / head / /

ProgrammingLanguage

Cilk / Prolog / Datalog / L / /

Technology

shared-memory multi-processors / /

SocialTag