Publications

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is S  [Clear All Filters]
2016
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.
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.
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.
Lopez-Suarez M., Neri I., Gammaitoni L..  2016.  Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7