Sciweavers

368 search results - page 1 / 74

» formats 2004

7

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

13 years 9 months ago

Real-Time Testing with Timed Automata Testers and Coverage Criteria

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

12

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

13 years 9 months ago

On Timed Automata with Input-Determined Guards

Download drona.csa.iisc.ernet.in

Deepak D'Souza, Nicolas Tabareau

claim paper

Read More »

12

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

13 years 9 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

5

FORMATS
2004
Springer

99views Formal Methods» more FORMATS 2004»

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications

13 years 9 months ago

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications

Download www2.warwick.ac.uk

Felix C. Gärtner, Arshad Jhumka

claim paper

Read More »

19

DIAL
2006
IEEE

110views Image Analysis» more DIAL 2006»

DIAL 2004 Working Group Report on Acquisition Quality Control

13 years 10 months ago

DIAL 2004 Working Group Report on Acquisition Quality Control

Download www.ecse.rpi.edu

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. ...

claim paper

Read More »

« Prev « First page 1 / 74 Last » Next »