2912 search results - page 118 / 583 » Overlay Networks - Implementation by Specification |
123
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
115
click to vote
FMSD
2006
15 years 2 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
111
click to vote
IJON
2002
15 years 2 months ago
2002
Image content analysis has become an important issue in multimedia processing. Region-based image retrieval systems attempt to reduce the gap between high-level semantics and low-l...
123
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Genome-wide identification of specific oligonucleotides (oligos) is a computationallyintensive task and is a requirement for designing microarray probes, primers, and ...
106
Voted
ISMB
1994
15 years 4 months ago
1994
Weuse a quantitative definition of specificity to developa neural networkfor the identification of commonprotein binding sites in a collection of unaligned DNAfragments. Wedemonst...