Sciweavers

8 search results - page 1 / 2

» eurocast 2001

13

EUROCAST
2001
Springer

73views Hardware» more EUROCAST 2001»

Integrated Design and Implementation of Digital Controllers

13 years 9 months ago

Integrated Design and Implementation of Digital Controllers

Download www.arl.wustl.edu

Pedro Albertos, Alfons Crespo

claim paper

Read More »

14

EUROCAST
2001
Springer

165views Hardware» more EUROCAST 2001»

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

13 years 9 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 »

11

EUROCAST
2001
Springer

87views Hardware» more EUROCAST 2001»

Adding Traces to a Lazy Monadic Evaluator

13 years 9 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 »

13

EUROCAST
2001
Springer

75views Hardware» more EUROCAST 2001»

Verifying an Applicative ATP Using Multiset Relations

13 years 9 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 »

17

EUROCAST
2001
Springer

189views Hardware» more EUROCAST 2001»

Assertion-Based Analysis of Hybrid Systems with PVS

13 years 9 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 »