Sciweavers

1880 search results - page 51 / 376
» A Static Analysis for Beta-Binders
Sort
View
ICCD
2004
IEEE
128views Hardware» more  ICCD 2004»
15 years 8 months ago
Static Transition Probability Analysis Under Uncertainty
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
Siddharth Garg, Siddharth Tata, Ravishankar Arunac...
CSMR
2009
IEEE
15 years 6 months ago
Static Security Analysis Based on Input-Related Software Faults
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
Csaba Nagy, Spiros Mancoridis
NOCS
2009
IEEE
15 years 6 months ago
Packet-level static timing analysis for NoCs
Evgeni Krimer, Mattan Erez, Isaac Keslassy, Avinoa...
EMSOFT
2009
Springer
15 years 6 months ago
Refining the control structure of loops using static analysis
Gogul Balakrishnan, Sriram Sankaranarayanan, Franj...