571 search results - page 64 / 115 » Performing causality analysis by bounded model checking |
121
click to vote
ISTCS
1992
Springer
15 years 3 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
PUK
2000
15 years 1 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
109
click to vote
CGO
2008
IEEE
15 years 6 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
This paper analyzes the performance of a genetic algorithm that utilizes tournament selection, one-point crossover, and a reordering operator. A model is proposed to describe the c...
139
click to vote
ICSE
2009
IEEE-ACM
16 years 19 days ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...