5180 search results - page 32 / 1036 » Concurrency, Time, and Constraints |
120
click to vote
RTSS
1993
IEEE
15 years 3 months ago
1993
IEEE
Studies in [7,8, 91 concluded that for a variety of reasons, optimistic concurrency control appears well-suited to real-time database systems. Especially, they showed that in a re...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
LFCS
1997
Springer
15 years 4 months ago
1997
Springer
The provability problem for the Horn fragment of linear logic is NP-complete [4, 1]. In this work we investigate various definitions of concurrency proposed in [2] and establish t...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
CSCLP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...