309 search results - page 21 / 62 » Model checking transactional memories |
ATVA
2011
Springer
12 years 7 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
JLP
2007
13 years 7 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
22
Voted
DEXAW
1996
IEEE
13 years 11 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
DBPL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
IESS
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...