536 search results - page 12 / 108 » A computer verified, monadic, functional implementation of t... |
110
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
VLSID
2004
IEEE
16 years 1 days ago
2004
IEEE
Watermarking is the process that embeds data called a watermark into a multimedia object for its copyright protection. The digital watermarks can be visible to a viewer on careful...
ENGL
2008
14 years 11 months ago
2008
This paper presents a compact analog neuron cell incorporating an array of charge-coupled synapses connected via a common output terminal. The novel silicon synapse is based on a t...
FCCM
2005
IEEE
15 years 5 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
126
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...