11022 search results - page 89 / 2205 » Programming Systems for Autonomy |
164
click to vote
SAS
2001
Springer
15 years 10 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...
152
click to vote
AAAI
2008
15 years 8 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....
168
click to vote
ICFP
1997
ACM
15 years 10 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...
168
click to vote
FM
2003
Springer
15 years 11 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...
147
click to vote
IJCNN
2000
IEEE
15 years 10 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...