1206 search results - page 213 / 242 » Concurrent Abstract Predicates |
77
Voted
CDC
2009
IEEE
15 years 5 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 ...
113
Voted
CLUSTER
2009
IEEE
15 years 5 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...
120
click to vote
PEPM
2009
ACM
15 years 5 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...
104
Voted
SBMF
2009
Springer
15 years 5 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...
103
Voted
FM
2001
Springer
15 years 5 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...