288 search results - page 51 / 58 » Interactive Termination Proofs Using Termination Cores |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
PVLDB
2010
14 years 7 months ago
2010
This paper introduces a new definition of dense subgraph pattern, the DN-graph. DN-graph considers both the size of the sub-structure and the minimum level of interactions betwee...
BMCBI
2008
14 years 9 months ago
2008
Background: Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from ...
99
Voted
AIRWEB
2007
Springer
15 years 3 months ago
2007
Springer
Link spam deliberately manipulates hyperlinks between web pages in order to unduly boost the search engine ranking of one or more target pages. Link based ranking algorithms such ...
COLCOM
2007
IEEE
14 years 11 months ago
2007
IEEE
—This paper proposes a framework for a virtual classroom application based on a Virtual Collaboration System (VCS), which is being developed under the VISNET II Network of Excell...