21430 search results - page 265 / 4286 » Abstract Effective Models |
155
click to vote
ISPD
1998
ACM
15 years 10 months ago
1998
ACM
We describe a novel iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. Our new approach is considerably faster than p...
138
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
In the past, we evaluated the damage effectiveness of shrapnel pill without considering the dispersing blind area. Research and experiment show that dispersing dead area of shrapne...
164
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
152
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
The vignette effect (radial fall-off) is commonly encountered in images obtained through certain image acquisition setups and can seriously hinder automatic analysis processes. In...
156
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...