4386 search results - page 464 / 878 » A Tamper-Resistant Programming Language System |
174
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
182
click to vote
JIT
2004
Springer
15 years 10 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
163
Voted
IASTEDSEA
2004
15 years 6 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
163
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
163
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...