230 search results - page 19 / 46 » Completing Herbelin's Programme |
106
click to vote
ESOP
2009
Springer
15 years 8 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...
103
Voted
GLVLSI
2007
IEEE
15 years 8 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...
95
Voted
CCECE
2006
IEEE
15 years 8 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...
87
Voted
FPL
2005
Springer
15 years 7 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...
121
click to vote
GPCE
2005
Springer
15 years 7 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...