16190 search results - page 275 / 3238 » Applicative programming with effects |
162
click to vote
JSW
2006
15 years 3 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
170
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper presents a new model for so-called water hammer equations based on a collocation method. This model is shown to fairly represent possible leak effects in a pipeline ...
105
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
Abstract- This paper proposes a hardwadsoftware cosynthesis algorithm for processors with heterogeneous registers. Given a CDFG correspondingto an application program and a timing ...
151
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
127
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...