6740 search results - page 466 / 1348 » Using Classification as a Programming Language |
151
click to vote
ICML
1989
IEEE
15 years 8 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
131
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
117
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
143
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
147
click to vote
FECS
2008
15 years 5 months ago
2008
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...