1206 search results - page 213 / 242 » Concurrent Abstract Predicates |
127
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
166
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
178
click to vote
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
163
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
163
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...