Jacob Lidman
Visar 9 publikationer
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
Verifying reliability properties using the hyperball abstract domain
An automated performance-aware approach to reliability transformations
ROSE::FTTransform - A source-to-source translation framework for exascale fault-tolerance research
Parallelizing more loops with compiler guided refactoring
Datapath Interconnect Optimization Engine for Energy-Efficient FlexCore Configurations
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 1 forskningsprojekt
ACE: Approximativa algoritmer och datorsystem