The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Security
School of Electronics and Computer Science > Cyber Security" and Year is 2017

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 6.

Using clang as a frontend on a formal verification tool - Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro and Denis Nicole
Type: Conference or Workshop Item | 2017

Type: Conference or Workshop Item | 2017 | The Association for Computing Machinery | Item not available on this server.

Game theoretic market driven smart home scheduling considering energy balancing - Yang Liu, Shiyan Hu, Han Huang, Rajiv Ranjan, Albert Zomaya and Lizhe Wang
Type: Article | 2017 | Item not available on this server.

Aging benefits in nanometer CMOS designs - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
Type: Article | 2017

Type: Article | 2017 | Item not available on this server.

Coarse-grained online monitoring of BTI aging by reusing power gating infrastructure - Vasileios Tenentes, Daniele Rossi, Sheng Yang, Saqib Khursheed, Bashir M. Al-Hashimi and Steve R. Gunn
Type: Article | 2017

This list was generated on Tue Jan 12 02:03:23 2021 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×