1631 search results - page 118 / 327 » Observing Functional Logic Computations |
CG
1999
Springer
14 years 11 months ago
1999
Springer
Building upon work which illustrated families of chaotic functions with planar symmetries, we explore evolving attractors from one symmetry type to another. We observe different wa...
124
click to vote
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
RTAS
2007
IEEE
15 years 6 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
FPL
2006
Springer
15 years 3 months ago
2006
Springer
A Field Programmable Gate Array (FPGA), when used as a platform for implementing special-purpose computing architectures, offers the potential for increased functional parallelism...
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...