36 search results - page 2 / 8 » spin 2005 |
SPIN
2005
Springer
13 years 10 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...
SPIN
2005
Springer
13 years 10 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...
BIOINFORMATICS
2005
13 years 4 months ago
2005
AAAI
2006
13 years 6 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...
HIPC
2005
Springer
13 years 10 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...