15754 search results - page 701 / 3151 » Programs are Knowledge Bases |
204
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
177
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
Embedded Cartesian Genetic Programming (ECGP) is a form of the graph based Cartesian Genetic Programming (CGP) in which modules are automatically acquired and evolved. In this pap...
205
click to vote
PASTE
2004
ACM
16 years 27 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
157
click to vote
COMPSAC
2009
IEEE
16 years 6 days ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
205
click to vote
LPNMR
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...