6590 search results - page 268 / 1318 » Evaluating the performance engineering process |
154
click to vote
TASE
2007
IEEE
16 years 26 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...
167
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
199
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the participation of Columbus Project of Microsoft Research Asia (MSRA) in the GeoCLEF 2006 (a cross-language geographical retrieval track which is part of Cr...
171
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
Spatial join is an important yet costly operation in spatial databases. In order to speed up the execution of a spatial join, the input tables are often indexed based on their spa...
176
click to vote
TC
2002
15 years 6 months ago
2002
Conventional concurrency control protocols are inapplicable in mobile broadcast environments due to a number of constraints of wireless communications. Previous studies are focuse...