11022 search results - page 172 / 2205 » Programming Systems for Autonomy |
133
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
128
Voted
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
147
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
212
Voted
AAIP
2009
15 years 6 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
109
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...