Sciweavers

Share
14 search results - page 3 / 3
» Derive: a tool that automatically reverse-engineers instruct...
Sort
View
BMCBI
2005
173views more  BMCBI 2005»
10 years 2 months ago
Phydbac "Gene Function Predictor" : a gene annotation tool based on genomic context analysis
Background: The large amount of completely sequenced genomes allows genomic context analysis to predict reliable functional associations between prokaryotic proteins. Major method...
François Enault, Karsten Suhre, Jean-Michel...
CASES
2007
ACM
10 years 7 months ago
Compiler generation from structural architecture descriptions
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Florian Brandner, Dietmar Ebner, Andreas Krall
CAV
1998
Springer
175views Hardware» more  CAV 1998»
10 years 7 months ago
An ACL2 Proof of Write Invalidate Cache Coherence
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
J. Strother Moore
SEMWEB
2007
Springer
10 years 9 months ago
Using the AgreementMaker to Align Ontologies for the OAEI Campaign 2007
In this paper, we present the AgreementMaker, an ontology alignment tool that incorporates the Descendants Similarity Inheritance (DSI) method. This method uses the structure of th...
William Sunna, Isabel F. Cruz
books