4604 search results - page 8 / 921 » Concurrency in Synchronous Systems |
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
PDPTA
2003
13 years 9 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
SAC
2010
ACM
14 years 19 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...