Work

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

Year: 2016

Type: article

Source: Journal of Parallel and Distributed Computing

DOI: 10.1016/j.jpdc.2016.06.011

Authors: Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel

Institutions: National University of Sciences and Technology, Karlsruhe Institute of Technology

Language: English

Topic: Parallel Computing and Optimization Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2512374076

FWCI: 2.362

Cites: 55

Cited by: 13

Related to: 10