1635 search results - page 210 / 327 » DIPC: A System Software Solution for Distributed Programming |
137
Voted
COOPIS
1998
IEEE
15 years 7 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
127
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
117
Voted
IWPC
1999
IEEE
15 years 7 months ago
1999
IEEE
![Comprehension with[in] Virtual Environment Visualisations](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "Comprehension with[in] Virtual Environment Visualisations")
For many years basic visualisation, based around simple boxes and lines, has been done in an attempt to be able to ease some of the cognitive overload caused by program comprehens...
128
click to vote
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
134
Voted
SIGCSE
2000
ACM
15 years 7 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...