3872 search results - page 302 / 775 » The Java memory model |
154
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
121
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
145
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
145
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
156
click to vote
CONSTRAINTS
2002
15 years 3 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...