3441 search results - page 504 / 689 » Parallel Logic Programming Systems |
259
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
155
Voted
PERCOM
2009
ACM
16 years 6 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
175
Voted
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
161
click to vote
RR
2007
Springer
16 years 11 days ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
166
click to vote
AVSS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...