1835 search results - page 140 / 367 » Functional Programming of Behavior-Based Systems |
155
click to vote
CDC
2010
IEEE
14 years 12 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...
141
click to vote
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
159
Voted
CDC
2010
IEEE
14 years 12 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...
132
click to vote
ICPP
2002
IEEE
15 years 10 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
149
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...