Publications

Export 20 results:

BibTeX

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

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

T

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

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

S

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.

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.

R

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.

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.

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.

Q

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

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.

O

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.

M

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.

I

Kafle B., Gallagher J.P.. 2016. Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.

H

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

F

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.

E

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.

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.

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.

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

C

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.