Search Sciweavers | Sciweavers

14190 search results - page 223 / 2838

» Abstractions for hybrid systems

150

click to vote

ENTCS
2008

83views more ENTCS 2008»

Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions

15 years 6 months ago

Download www.mpi-sws.org

traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr

Andreas Rossberg

claim paper

Read More »

158

Voted

CDC
2010
IEEE

97views Control Systems» more CDC 2010»

Synthesis using approximately bisimilar abstractions: time-optimal control problems

15 years 1 months ago

Download www-ljk.imag.fr

s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...

Antoine Girard

claim paper

Read More »

158

click to vote

DATE
2009
IEEE

111views Hardware» more DATE 2009»

Increased accuracy through noise injection in abstract RTOS simulation

16 years 1 months ago

Download www.date-conference.com

RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...

Henning Zabel, Wolfgang Mueller

claim paper

Read More »

193

click to vote

RSP
1999
IEEE

160views Control Systems» more RSP 1999»

Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping

15 years 11 months ago

Download www.fzi.de

SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...

Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...

claim paper

Read More »

149

click to vote

SPE
2008

83views more SPE 2008»

Conditioned semantic slicing for abstraction; industrial experiment

15 years 6 months ago