742 search results - page 54 / 149 » Set-based Concurrent Engineering |
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Today, most personal mobile devices (e.g. cell phones and PDAs) are multimedia-enabled and support a variety of concurrently running applications such as audio/video players, word...
100
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
109
click to vote
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
191
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...