4716 search results - page 599 / 944 » Tangible functional programming |
112
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
108
click to vote
SECON
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--EcoExec is a host-assisted interactive execution environment for wireless sensing systems. Users can interact with sensor nodes by viewing attributes and invoking functio...
101
click to vote
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
102
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
103
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...