Sciweavers

230 search results - page 26 / 46
» Completing Herbelin's Programme
Sort
View
SOCRATES
2008
125views Education» more  SOCRATES 2008»
13 years 10 months ago
Collaborative Knowledge Construction in Online Vocational Teacher Education
The purpose of this paper is to build a picture of knowledge construction models in online education. The study describes the knowledge construction process of a group of vocation...
Raimo Mäkelä, Marjatta Myllylä, Han...
TOSEM
2008
168views more  TOSEM 2008»
13 years 8 months ago
Developing and debugging algebraic specifications for Java classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
Johannes Henkel, Christoph Reichenbach, Amer Diwan
JITECH
2007
136views more  JITECH 2007»
13 years 8 months ago
A computer scientist's reactions to NPfIT
This paper contains a set of personal views relating to NHS Connecting for Health’s National Programme for IT (NPfIT), and in particular its Care Records Service, written from t...
Brian Randell
CONCURRENCY
1998
139views more  CONCURRENCY 1998»
13 years 8 months ago
Applications experience in Jade
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
Martin C. Rinard
POPL
2006
ACM
14 years 8 months ago
Associating synchronization constraints with data in an object-oriented language
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
Mandana Vaziri, Frank Tip, Julian Dolby