Sciweavers

8 search results - page 1 / 2

» eurocast 2001

15

EUROCAST
2001
Springer

73views Hardware» more EUROCAST 2001»

Integrated Design and Implementation of Digital Controllers

13 years 10 months ago

Integrated Design and Implementation of Digital Controllers

Download www.arl.wustl.edu

Pedro Albertos, Alfons Crespo

claim paper

Read More »

17

EUROCAST
2001
Springer

165views Hardware» more EUROCAST 2001»

Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies

13 years 10 months ago

Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies

Download lsi.ugr.es

María Visitación Hurtado, José...

claim paper

Read More »

14

EUROCAST
2001
Springer

87views Hardware» more EUROCAST 2001»

Adding Traces to a Lazy Monadic Evaluator

13 years 10 months ago

Adding Traces to a Lazy Monadic Evaluator

Download dalila.sip.ucm.es

Cristóbal Pareja, Ricardo Pena, Fernando Ru...

claim paper

Read More »

16

EUROCAST
2001
Springer

75views Hardware» more EUROCAST 2001»

Verifying an Applicative ATP Using Multiset Relations

13 years 10 months ago

Verifying an Applicative ATP Using Multiset Relations

Download www.cs.us.es

Francisco-Jesús Martín-Mateos, Jos&e...

claim paper

Read More »

21

EUROCAST
2001
Springer

189views Hardware» more EUROCAST 2001»

Assertion-Based Analysis of Hybrid Systems with PVS

13 years 10 months ago

Assertion-Based Analysis of Hybrid Systems with PVS

Download folk.uio.no

Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...

Erika Ábrahám-Mumm, Ulrich Hannemann...

claim paper

Read More »

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