6248 search results - page 13 / 1250 » Programming in a data factory |
CAV
1997
Springer
13 years 11 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
GRAPHITE
2006
ACM
14 years 1 months ago
2006
ACM
—Advancements in robotics have gained much momentum in recent years. Industrial robotic systems are increasingly being used outside the factory floor, evident by the growing pres...
IEE
2002
13 years 7 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
ICML
2003
IEEE
14 years 8 months ago
2003
IEEE
Convex programming involves a convex set F Rn and a convex cost function c : F R. The goal of convex programming is to find a point in F which minimizes c. In online convex prog...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...