284 search results - page 31 / 57 » Recursive Abstractions for Parameterized Systems |
SAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
ANTSW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
OTM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Changes in the characterization of instances in digital content are one of the rationales to evolve ontologies that support a domain. These changes can have impacts on on...
ICALP
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...