1206 search results - page 223 / 242 » Concurrent Abstract Predicates |
88
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
107
Voted
FUIN
2008
15 years 15 days ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
104
Voted
CAL
2006
15 years 15 days ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
87
Voted
CORR
2007
Springer
15 years 13 days ago
2007
Springer
Abstract— This paper develops and compares two asynchronous distributed scheduling algorithms for multiple controlled searchlights in nonconvex polygonal environments. A searchli...
102
Voted
IJSEKE
2006
15 years 13 days ago
2006
hibiting the characteristics of abstraction, encapsulation, genericity, inheritance, polymorphism, concurrency and exception handling. To address the difficulty of testing the feat...