4940 search results - page 180 / 988 » On the Complexity of Universal Programs |
168
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
144
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
167
click to vote
JAIR
2007
15 years 5 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
147
click to vote
SIGCSE
1990
ACM
15 years 9 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
156
click to vote
LOPSTR
1997
Springer
15 years 9 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...