8766 search results - page 551 / 1754 » Functional logic programming |
146
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
The satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting were shown in [5] to be in NExpTime. This paper presents ...
131
click to vote
ENTCS
2008
15 years 4 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
154
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Dynamically reconfigurable systems based on partial and dynamically reconfigurable FPGAs may have their functionality partially modified at run-time without stopping the operation...
136
click to vote
IOLTS
2003
IEEE
15 years 10 months ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
122
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...