1835 search results - page 270 / 367 » Functional Programming of Behavior-Based Systems |
115
click to vote
ICALP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
153
click to vote
DEXA
1997
Springer
15 years 6 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
130
Voted
OSDI
1994
ACM
15 years 3 months ago
1994
ACM
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
142
click to vote
ENTCS
2007
15 years 2 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
119
Voted
AUTOMATICA
2005
15 years 2 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...