4880 search results - page 418 / 976 » Manuals as Structured Programs |
158
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
189
click to vote
ICCS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
193
click to vote
AUSAI
2005
Springer
16 years 19 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
160
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
238
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...