5330 search results - page 973 / 1066 » The Performability Tool P'ility |
175
click to vote
ICDE
2007
IEEE
16 years 22 days ago
2007
IEEE
The strength of GIS is in providing a rich data infrastructure for combining disparate data in meaningful ways by using a spatial arrangement (e.g., proximity). As a toolbox, a GI...
168
click to vote
ISPASS
2007
IEEE
16 years 21 days ago
2007
IEEE
Parameter variation due to manufacturing error will be an unavoidable consequence of technology scaling in future generations. The impact of random variation in physical factors s...
152
click to vote
TASE
2007
IEEE
16 years 20 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
171
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
154
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
It has been shown that using phrases properly in the document retrieval leads to higher retrieval effectiveness. In this paper, we define four types of noun phrases and present an...