Search Sciweavers | Sciweavers

1880 search results - page 51 / 376

» A Static Analysis for Beta-Binders

164

click to vote

ICCD
2004
IEEE

128views Hardware» more ICCD 2004»

Static Transition Probability Analysis Under Uncertainty

16 years 2 months ago

Download iccd.et.tudelft.nl

Deterministic gate delay models have been widely used to ﬁnd the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...

Siddharth Garg, Siddharth Tata, Ravishankar Arunac...

claim paper

Read More »

131

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

16 years 20 days ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

138

click to vote

CSMR
2009
IEEE

99views Software Engineering» more CSMR 2009»

Static Security Analysis Based on Input-Related Software Faults

16 years 18 days ago

Download www.cs.drexel.edu

It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difﬁcult and ther...

Csaba Nagy, Spiros Mancoridis

claim paper

Read More »

130

click to vote

NOCS
2009
IEEE

104views Computer Networks» more NOCS 2009»

Packet-level static timing analysis for NoCs

16 years 17 days ago

Download webee.technion.ac.il

Evgeni Krimer, Mattan Erez, Isaac Keslassy, Avinoa...

claim paper