1206 search results - page 74 / 242 » Concurrent Abstract Predicates |
112
Voted
APCSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
ICSE
1995
IEEE-ACM
15 years 4 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
96
Voted
IJFCS
2006
15 years 17 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
96
Voted
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...
208
click to vote
CC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...