230 search results - page 19 / 46 » Completing Herbelin's Programme |
250
click to vote
ESOP
2009
Springer
16 years 28 days 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...
153
click to vote
GLVLSI
2007
IEEE
16 years 14 days 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...
141
click to vote
CCECE
2006
IEEE
16 years 6 days 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...
136
click to vote
FPL
2005
Springer
15 years 11 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...
174
click to vote
GPCE
2005
Springer
15 years 11 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...