Sciweavers

3307 search results - page 149 / 662
» The meaning of concurrent programs
Sort
View
116
Voted
ATVA
2005
Springer
130views Hardware» more  ATVA 2005»
15 years 9 months ago
Approximate Reachability for Dead Code Elimination in Esterel
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
Olivier Tardieu, Stephen A. Edwards
135
Voted
ECOOP
2008
Springer
15 years 5 months ago
Kilim: Isolation-Typed Actors for Java
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...
Sriram Srinivasan, Alan Mycroft
137
Voted
COORDINATION
2009
Springer
16 years 4 months ago
Exceptionally Safe Futures
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...
Armand Navabi, Suresh Jagannathan
110
Voted
ICFP
2006
ACM
16 years 3 months ago
Transactional events
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...
Kevin Donnelly, Matthew Fluet
130
Voted
ECIS
2000
15 years 5 months ago
A Completely Virtual Distance Education Program Based on the Internet - Case and Agenda of the International MBI Program
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...
Karl Kurbel