2673 search results - page 322 / 535 » Guided Static Analysis |
184
click to vote
TWC
2008
15 years 5 months ago
2008
This paper derives the outage probability and transmission capacity of ad hoc wireless networks with nodes employing multiple antenna diversity techniques, for a general class of ...
120
Voted
IVC
1998
15 years 4 months ago
1998
We consider the problem of metrically reconstructing a scene viewed by a moving stereo head. The head comprises two cameras with coplanar optical axes arranged on a lateral rig, e...
142
click to vote
PVLDB
2008
15 years 4 months ago
2008
DBPubs is a system for effectively analyzing and exploring the content of database publications by combining keyword search with OLAP-style aggregations, navigation, and reporting...
175
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
155
click to vote
CDC
2010
IEEE
15 years 3 days ago
2010
IEEE
Potential games are a special class of games that admit tractable static and dynamic analysis. Intuitively, games that are "close" to a potential game should enjoy somewh...