11022 search results - page 185 / 2205 » Programming Systems for Autonomy |
155
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
181
Voted
POPL
1997
ACM
15 years 8 months ago
1997
ACM
The following theorem of Huet and L
C++
1990
15 years 6 months ago
1990
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
139
Voted
AI
2008
Springer
15 years 5 months ago
2008
Springer
We propose a novel approach to self-regenerating continuously-operating systems. Such systems provide best-case solutions in security surveillance or decision making centers. We i...
141
click to vote
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...