5482 search results - page 497 / 1097 » Logic Programming and Databases |
188
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
202
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
217
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
185
click to vote
JFLP
2002
15 years 6 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
211
click to vote
EVOW
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a linear genetic programming approach, that solves simultaneously the region selection and feature extraction tasks, that are applicable to common image recogni...