717 search results - page 45 / 144 » Concurrent Engineering |
99
Voted
ICESS
2007
Springer
15 years 8 months 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...
112
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
134
click to vote
CSEE
2009
Springer
15 years 8 months ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
147
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
143
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...