6274 search results - page 722 / 1255 » Proofs, Programs, Processes |
262
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
174
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an action case study of the process by which the Swedish computer game developer Daydream Software planned, developed, and implemented the business model for i...
171
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
190
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
168
click to vote
AADEBUG
2000
Springer
15 years 11 months ago
2000
Springer
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...