3307 search results - page 149 / 662 » The meaning of concurrent programs |
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
109
click to vote
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
114
click to vote
COORDINATION
2009
Springer
16 years 1 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
105
click to vote
ECIS
2000
15 years 2 months ago
2000
The Internet as a medium for communication and information distribution has opened up new opportunities for distance education programs. Not only is the scope of a program, in ter...