230 search results - page 19 / 46 » Completing Herbelin's Programme |
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template ar...
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
— The aim of this research is to implement sensorless vector control algorithms on a single, eventually reconfigurable, chip, with a computation timing constraint of, at most, 1...
FPL
2005
Springer
14 years 2 months ago
2005
Springer
This work explores the effect of adding a timing driven functional decomposition step to the traditional field programmable gate array (FPGA) CAD flow. Once placement has comple...
GPCE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...