4126 search results - page 379 / 826 » Set based logic programming |
155
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
171
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
156
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
135
click to vote
MEMBRANE
2004
Springer
15 years 10 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
150
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...