11022 search results - page 89 / 2205 » Programming Systems for Autonomy |
128
Voted
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
112
Voted
AAAI
2008
15 years 5 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
119
Voted
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
134
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
106
click to vote
IJCNN
2000
IEEE
15 years 7 months ago
2000
IEEE
: This paper presents the design of a neurocontroller for a turbogenerator that augments/replaces the conventional Automatic Voltage Regulator (AVR) and the turbine governor. The n...