2227 search results - page 99 / 446 » Reversibility and Models for Concurrency |
147
click to vote
TACAS
2010
Springer
16 years 28 days 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 ...
140
click to vote
ICESS
2007
Springer
16 years 3 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
146
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
137
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
170
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...