Publications

Export 20 results:

BibTeX

Author Title [ Type

] Year

Filters: First Letter Of Last Name is K [Clear All Filters]

Conference Paper

Field H, Anderson G, Eder K. 2014. EACOF. the 29th Annual ACM SymposiumProceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14.

Sjalander M., Nilsson N.S., Kaxiras S.. 2014. A tunable cache for approximate computing. Nanoscale Architectures (NANOARCH), 2014 IEEE/ACM International Symposium on.

Conference Proceedings

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.

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.

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 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.

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.

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, Legay A., Larsen K.G, Mikucionis M., Nielsen B.. 2015. Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.

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.

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).

Journal Article

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.

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.

Kafle B., Gallagher J.P.. 2016. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46

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

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.

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.