1204 search results - page 13 / 241 » Parallel concurrent ML |
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
91
Voted
ML
2006
ACM
14 years 11 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...
82
Voted
ML
2006
ACM
15 years 5 months ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
ICFP
2010
ACM
15 years 23 days ago
2010
ACM
Nested data-parallelism (NDP) is a declarative style for programming irregular parallel applications. NDP languages provide language features favoring the NDP style, efficient com...
CONCURRENCY
2011
14 years 6 months ago
2011