7121 search results - page 295 / 1425 » Functions as Session-Typed Processes |
150
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The power consumption of Dynamically Reconfigurable Processing Array (DRPA) is quantitatively analyzed by using a real chip layout and applications taking into account the reconfi...
204
click to vote
FCS
2006
15 years 8 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
130
click to vote
NIPS
2004
15 years 8 months ago
2004
We introduce a new algorithm based on linear programming that approximates the differential value function of an average-cost Markov decision process via a linear combination of p...
164
click to vote
OMER
2001
15 years 8 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
168
click to vote
IJHR
2008
15 years 6 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...