366 search results - page 54 / 74 » Model-checking higher-order functions |
100
click to vote
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
SFP
2004
15 years 1 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
PC
2006
14 years 11 months ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
103
click to vote
TSP
2008
14 years 11 months ago
2008
In this paper we concentrate on the direct semi-blind spatial equalizer design for MIMO systems with Rayleigh fading channels. Our aim is to develop an algorithm which can outperf...
CAV
2009
Springer
16 years 8 days ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...