Publications

Export 74 results:
Author Title [ Type(Asc)] Year
Conference Proceedings
Rethinagiri SKumar, Palomar O, Arias J, Unsal O, Kestelman ACristal.  2015.  Trigeneous Platforms for Energy Efficient Computing of HPC Applications. 22nd annual IEEE International Conference on High Performance Computing (HiPC 2015).
Li X., Gallagher J.P..  2016.  A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.
Kafle B., Gallagher J.P., Ganty P..  2016.  Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.
Kim J.H, Legay A., Larsen K.G, Mikucionis M., Nielsen B..  2015.  Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
Larsen K.G, Potapov I., Srba J..  2016.  Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
Kafle B., Gallagher J.P..  2016.  Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. 28th International Conference Computer Aided Verification - CAV 2016. :261-268.
Kim J.H, Boudjadar A., Nyman U., Mikucionis M., Larsen K.G, Skou A., Lee I., L. Phan TXuan.  2015.  Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
Bortolotti D..  2016.  PHIDIAS: Ultra-Low-Power Holistic Design for Smart Bio-signals Computing Platforms. ACM Computer Frontiers (CF'16). 1:309-314.
Kim JHyun, Legay A, Traonouez L-M, Boudjadar A, Nyman U, Larsen KG, Lee I, Choi J-Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems..  SIGBED Review . 13:41-48.
Kim J.H, Legay A., Traonouez L., Boudjadar A., Nyman U., Larsen K.G, Lee I., Cho J.Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
Larsen K.G, Mikucionis M., Muñiz M., Srba J., Taankvist J.H.  2016.  Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
Chadli M., Kim J.H, Legay A., Traonouez L.M, Naujokat S., Steffen B., Larsen K.G.  2016.  A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
Surrel G..  2016.  Low-Power Wearable System for Real-Time Screening of Obstructive Sleep Apnea. IEEE Computer Society Annual Symposium on VLSI 2016 (ISVLSI 2016). 1:230-235.
Orfei F, Gammaitoni L.  2015.  Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
Boudjadar A., Kim J.H, David A., Larsen K.G, Mikucionis M., Nyman U., Skou A., Lee I., Phan L.TX.  2015.  Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015. :74-83.
Odia A..  2015.  Finite Element Modelling To Evaluate the Cross-plane Thermal conductivity and Seebeck Coefficient of Ge/SiGe Heterostructure. Materials Today.
Li X., Gallagher J.P..  2016.  Fine-Grained Energy Modeling for the Source Code of a Mobile Application. International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
Wognsen ERamsgaard, Hansen R.R, Larsen K.G, Koch P..  2016.  Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016. :163-168.
Wlotzka M., Heuveline V..  2015.  Energy-aware mixed precision iterative refinement for linear systems on GPU-accelerated multi-node HPC clusters. 26th GI/ITG Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS).
Georgiou K..  2016.  Energy Transparency for Deeply Embedded Programs. ACM Transactions on Architecture and Code Optmiziation (TACO). 1:309-314.
Conference Paper
Sjalander M., Nilsson N.S., Kaxiras S..  2014.  A tunable cache for approximate computing. Nanoscale Architectures (NANOARCH), 2014 IEEE/ACM International Symposium on.
Field H, Anderson G, Eder K.  2014.  EACOF. the 29th Annual ACM SymposiumProceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14.

Pages