Login / Signup
Thermal analysis of multiprocessor SoC applications by simulation and verification.
Dipankar Das
P. P. Chakrabarti
Rajeev Kumar
Published in:
ACM Trans. Design Autom. Electr. Syst. (2010)
Keyphrases
</>
medical images
quantitative analysis
information retrieval
artificial intelligence
information systems
mathematical analysis
data sets
model checking
embedded systems
static analysis
formal analysis
colored petri nets