2302 search results - page 354 / 461 » The Evolution of Concurrent Programs |
152
Voted
TCS
1998
15 years 2 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
133
click to vote
FGCS
2010
15 years 1 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
122
Voted
RV
2010
Springer
15 years 13 days ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
246
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
103
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...