Sciweavers

2362 search results - page 354 / 473
» Programming in Standard ML
Sort
View
134
Voted
SAC
2010
ACM
15 years 10 months ago
A real-time architecture design language for multi-rate embedded control systems
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
Julien Forget, Frédéric Boniol, Davi...
132
Voted
SIGCSE
2010
ACM
164views Education» more  SIGCSE 2010»
15 years 10 months ago
Scalable game design and the development of a checklist for getting computational thinking into public schools
Game design appears to be a promising approach to interest K-12 students in Computer Science. Unfortunately, balancing motivational and educational concerns is truly challenging. ...
Alexander Repenning, David C. Webb, Andri Ioannido...
140
Voted
IPPS
2009
IEEE
15 years 10 months ago
Parallel solvers for dense linear systems for heterogeneous computational clusters
This paper describes the design and the implementation of parallel routines in the Heterogeneous ScaLAPACK library that solve a dense system of linear equations. This library is w...
Ravi Reddy Manumachu, Alexey L. Lastovetsky, Pedro...
UIC
2009
Springer
15 years 10 months ago
Printing in Ubiquitous Computing Environments
Document printing has long been considered an indispensable part of the workspace. While this process is considered trivial and simple for environments where resources are ample (e...
Athanasios Karapantelakis, Alisa Devlic, Mohammad ...
129
Voted
CSEE
2009
Springer
15 years 10 months ago
Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
Robert Feldt, Martin Höst, Frank Lüders