1492 search results - page 140 / 299 » Concurrent programming in VISO |
90
Voted
RV
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
108
Voted
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
125
Voted
SIGOPS
2008
15 years 13 days ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
107
click to vote
CONCURRENCY
2000
15 years 10 days ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
141
Voted
PPOPP
2006
ACM
15 years 6 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...