Search Sciweavers | Sciweavers

497 search results - page 14 / 100

» Overview of QAST 2008

108

click to vote

TPHOL
2008
IEEE

153views Automated Reasoning» more TPHOL 2008»

A Brief Overview of PVS

15 years 10 months ago

Download www.csl.sri.com

Sam Owre, Natarajan Shankar

claim paper

Read More »

110

Voted

DAS
2008
Springer

101views Document Analysis» more DAS 2008»

Performance Evaluation of Symbol Recognition and Spotting Systems: An Overview

15 years 5 months ago

Download mathieu.delalandre.free.fr

Mathieu Delalandre, Ernest Valveny, Josep Llad&oac...

claim paper

Read More »

132

Voted

EV
2010

169views Hardware» more EV 2010»

Overview

15 years 4 months ago

Download www.wonderdesk.com

Robert Krimmer, Rüdiger Grimm

claim paper

Read More »

102

Voted

DFN
2008

141views Computer Science» more DFN 2008»

Ethernet OAM Overview: Making Ethernet Manageable

15 years 5 months ago

Download www.dfn.de

: This paper provides an overview of three important tools for Ethernet Operations, Administration, and Maintenance (OAM): Link-layer Ethernet OAM, Ethernet-Local Management Interf...

Frank Brockners

claim paper

Read More »

click to vote

TECS
2008

56views more TECS 2008»

The worst-case execution-time problem - overview of methods and survey of tools

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers