130 search results - page 15 / 26 » Efficiently Verifiable Escape Analysis |
ACL
2009
13 years 5 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...
GLOBECOM
2009
IEEE
13 years 5 months ago
2009
IEEE
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Two-dimensional (2D) optimal filter for highly nonstationary 2D signal estimation is developed. It is based on the real-time results of space/spatial-frequency (S/SF) analysis, on...
JSAC
2008
13 years 7 months ago
2008
Abstract--Distributed and efficient resource allocation is critical for fully realizing the benefits of cooperative communications in large scale communication networks. This paper...
FORMATS
2009
Springer
13 years 11 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...