36 search results - page 2 / 8 » spin 2005 |
116
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
119
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
120
click to vote
AAAI
2006
15 years 5 months ago
2006
Social networks are important for the Semantic Web. Several means can be used to obtain social networks: using social networking services, aggregating Friendof-a-Friend (FOAF) doc...
131
Voted
HIPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...