16513 search results - page 153 / 3303 » Numerical Analysis Methods |
110
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
119
click to vote
TIP
2008
15 years 2 months ago
2008
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...
104
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
121
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
The analysis for microphone arrays formed by mounting microphones on a sound-hard spherical or cylindrical baf e is typically performed using a decomposition of the sound field i...
105
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Global flooding and expanding ring search are two commonly used methods in search for an interested object in multi-hop wireless networks. While global flooding is simple, it...