Sciweavers

368 search results - page 1 / 74
» formats 2004
Sort
View
58
Voted
FORMATS
2004
Springer
15 years 3 months ago
Real-Time Testing with Timed Automata Testers and Coverage Criteria
Moez Krichen, Stavros Tripakis
FORMATS
2004
Springer
15 years 3 months ago
On Timed Automata with Input-Determined Guards
Deepak D'Souza, Nicolas Tabareau
75
Voted
FORMATS
2004
Springer
15 years 3 months ago
Computing Schedules for Multithreaded Real-Time Programs Using Geometry
Philippe Gerner, Thao Dang
DIAL
2006
IEEE
110views Image Analysis» more  DIAL 2006»
15 years 3 months ago
DIAL 2004 Working Group Report on Acquisition Quality Control
This report summarizes the discussions of the Working Group on Acquisition Quality at the International Workshop on Document Image Analysis for Libraries, Palo Alto, CA, 23-24 Jan...
Elisa H. Barney Smith, Henry S. Baird, William A. ...