3307 search results - page 120 / 662 » The meaning of concurrent programs |
106
Voted
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
128
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
100
click to vote
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
104
click to vote
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
143
Voted
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...