1114 search results - page 22 / 223 » Validating optimizations of concurrent C C programs |
189
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
161
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...
170
click to vote
WOTUG
2008
15 years 7 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
201
click to vote
ICCL
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
144
click to vote
ICESS
2007
Springer
16 years 15 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...