813 search results - page 135 / 163 » Correctness Properties for Multiagent Systems |
133
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
1 Switched system-area networks enable thousands of storage devices to be shared and directly accessed by end hosts, promising databases and filesystems highly scalable, reliable ...
113
click to vote
KR
1994
Springer
15 years 7 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
120
Voted
ASYNC
2007
IEEE
15 years 7 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
124
click to vote
IWMM
2010
Springer
15 years 7 months ago
2010
Springer
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
134
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...