11022 search results - page 169 / 2205 » Programming Systems for Autonomy |
133
Voted
HOPL
1993
15 years 9 months ago
1993
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it ev...
204
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
151
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
154
click to vote
COMSWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
166
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...