230 search results - page 13 / 46 » Completing Herbelin's Programme |
FPL
2007
Springer
14 years 2 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
CSEE
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes our experience of teaching a Software Engineering course based on the use of group work to teaching and practise theoretical concepts. Our work has three main...
IEEEAMS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...
FPGA
1998
ACM
14 years 20 days ago
1998
ACM
In this paper, we present a new retiming-based technology mapping algorithm for look-up table-based eld programmable gate arrays. The algorithm is based on a novel iterative proce...
APPINF
2003
13 years 9 months ago
2003
The paper presents a method in teaching software process at under-graduate level, based on the Personal Software Process (PSP). The goal is to inform students about the process an...