570 search results - page 61 / 114 » concurrency 2006 |
146
click to vote
ML
2006
ACM
15 years 5 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
179
Voted
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
186
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
138
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
170
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...