2294 search results - page 34 / 459 » Efficient Crosstalk Estimation |
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
254
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE