208 search results - page 11 / 42 » Highly dependable concurrent programming using design for ve... |
ICESS
2007
Springer
15 years 6 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...
127
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
118
click to vote
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
94
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...