2165 search results - page 146 / 433 » cases 2005 |
164
click to vote
ICSM
2005
IEEE
16 years 17 days ago
2005
IEEE
Software testing is a critical part of software development. Test suite sizes may grow significantly with subsequent modifications to the software over time. Due to time and res...
199
click to vote
IEEECIT
2005
IEEE
16 years 17 days ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
166
Voted
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
— In this paper, we study cross-layer design for rate control in multihop wireless networks. In our previous work, we have developed an optimal cross-layered rate control scheme ...
189
Voted
IPPS
2005
IEEE
16 years 16 days ago
2005
IEEE
Science disciplines are experiencing a data avalanche. As a result, scientific research is limited by data analysis and visualization capabilities. We have been working closely wi...
170
Voted
LICS
2005
IEEE
16 years 16 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...