Publications

Export 20 results:

BibTeX

Author Title [ Type

] Year

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

Journal Article

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.

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.

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

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

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

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.

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

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.

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.

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.

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.

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.

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.

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.