Publications

Export 20 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
2014
Field H, Anderson G, Eder K.  2014.  EACOF. the 29th Annual ACM SymposiumProceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14.
Klymenko MV, Remacle F.  2014.  Electronic states and wavefunctions of diatomic donor molecular ions in silicon: multi-valley envelope function theory. Journal of Physics: Condensed Matter. 26:065302.
Gonzalez-Zalba M.F, Saraiva A, Calderón MJ, Heiss D, Koiller B, Ferguson AJ.  2014.  An Exchange-Coupled Donor Molecule in Silicon. Nano Letters. 14:5672-5676.
Klymenko M.V, Remacle F..  2014.  Quantum dot ternary-valued full-adder: Logic synthesis by a multiobjective design optimization based on a genetic algorithm. Journal of Applied Physics. 116
Sjalander M., Nilsson N.S., Kaxiras S..  2014.  A tunable cache for approximate computing. Nanoscale Architectures (NANOARCH), 2014 IEEE/ACM International Symposium on.
2015
Urdampilleta M, Chatterjee A, Lo CChi, Kobayashi T, Mansir J, Barraud S, Betz AC, Rogge S, M. Gonzalez-Zalba F, Morton JJL.  2015.  Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
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.
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.
Boudjadar A., David A., Kim J.H., Larsen K.G, Mikucionis M., Nyman U., Skou A..  2015.  A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.
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.
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).
2016
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.
Kafle B., Gallagher J.P..  2016.  Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
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.
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.
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.
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.
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.
Boudjadar A., David A., Kim J.H, Larsen K.G, Mikucionis M., Nyman U., Skou A..  2016.  Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.