Publications

Export 74 results:
Author [ Title(Asc)] Type Year
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 
V
Rethinagiri S.K., Palomar O., AriasMoreno J., CristalKestelman A..  2015.  VPM: Virtual Power Meter Tool for Low-Power Many-Core/Heterogeneous Data Center Prototypes. 33rd IEEE International Conference on Computer Design (ICCD 2015).
U
L. Llin F.  2016.  The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)
De Giovanni E..  2016.  Ultra-Low Power Estimation of Heart Rate Under Physical Activity Using a Wearable Photoplethysmographic System. 19th IEEE/Euromicro Conference On Digital System Design (DSD 2016). 1:553-560.
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).
Gammaitoni L, Chiuchiú D., Madami M, Carlotti G.  2015.  Towards zero-power ICT. Nanotechnology. 26:222001.
Cecchi S., Gatti E., Chrastina D., Frigerio J., E. Gubler üller, Paul D.J, Guzzi M., Isella G..  2014.  Thin SiGe virtual substrates for Ge heterostructures integration on silicon. Journal of Applied Physics. 115(9):093502.
L. Llin F.  2016.  Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602
S
Lopez-Suarez M., Neri I., Gammaitoni L..  2016.  Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
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.
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.
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.
M. Gonzalez-Zalba F, Ciccarelli C, Zarbo LP, Irvine AC, Campion RC, Gallagher BL, Jungwirth T, Ferguson AJ, Wunderlich J.  2015.  Reconfigurable Boolean Logic Using Magnetic Single-Electron Transistors. PLoS ONE. 10:e0125142.
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.
Verduijn J., Vinet M., Rogge S..  2014.  Radio-frequency dispersive detection of donor atoms in a field-effect transistor. Applied Physics Letters. 104
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
Lavieville R, Triozon F, Barraud S, Corna A, Jehl X, Sanquer M, Li J, Abisset A, Duchemin I, Niquet Y-M.  2015.  Quantum Dot Made in Metal Oxide Silicon-Nanowire Field Effect Transistor Working at Room Temperature.. Nano Letters. 15:2958-2964.
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.
P
Samarelli A., L. Llin F, Cecchi S., Frigerio J., Chrastina D., Isella G., E. Gubler üller, Etzelstorfer T., Stangl J., Zhang Y. et al..  2014.  Prospects for SiGe thermoelectric generators. Solid-State Electronics. 98:70-74.
Gonzalez-Zalba M.F, Barraud S., Ferguson A.J, Betz A.C.  2015.  Probing the limits of gate-based charge sensing. Nature Communications. (6)
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
Moschitta A, Neri I.  2014.  Power consumption assessment in wireless sensor networks. ICT-Energy-Concepts Towards Zero-Power Information and Communication Technology.

Pages