8766 search results - page 489 / 1754 » Functional logic programming |
167
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
137
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
128
click to vote
AAAI
2004
15 years 5 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
228
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
128
click to vote
VLSID
2009
IEEE
16 years 5 months ago
2009
IEEE
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...