168 search results - page 19 / 34 » Abstract Interpretation for Worst and Average Case Analysis |
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We extend stochastic network optimization theory to treat networks with arbitrary sample paths for arrivals, channels, and mobility. The network can experience unexpected link or n...
106
click to vote
SIGSOFT
2004
ACM
16 years 14 days ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
MICCAI
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
SCALESPACE
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We introduce a family of first-order multi-dimensional ordinary differential equations (ODEs) with discontinuous right-hand sides and demonstrate their applicability in i...
123
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—With increasing popularity of media enabled handhelds, the need for high data-rate services for mobile users is evident. Large-scale Wireless LANs (WLANs) can provide su...