1129 search results - page 114 / 226 » Modular Ranking Abstraction |
162
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
187
click to vote
EURONGI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The literature on cross-layer protocols, protocol improvements, and design methodologies for wireless sensor networks (WSNs) is reviewed and a taxonomy is proposed. The c...
156
click to vote
FSMNLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...
175
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
180
click to vote
ISPA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This article presents the C++ library vShark which reduces the intranode communication overhead of parallel programs on clusters of SMPs. The library is built on top of m...