1420 search results - page 201 / 284 » A combined functional and object-oriented approach to softwa... |
151
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
154
click to vote
DELOS
2004
15 years 7 months ago
2004
A distributed digital library has been designed and implemented for the support of community radios. This framework, developed by the StreamOnTheFly IST project of the EU, provides...
182
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
151
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
155
click to vote
FSEN
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...