Search Sciweavers | Sciweavers

12333 search results - page 53 / 2467

» System Level Modelling for Hardware Software Systems

click to vote

ICSE
2009
IEEE-ACM

151views Software Engineering» more ICSE 2009»

Model checking flight control systems: The Airbus experience

13 years 7 months ago

Download homepages.laas.fr

This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...

Thomas Bochot, Pierre Virelizier, Hél&egrav...

claim paper

Read More »

click to vote

RTCSA
2005
IEEE

118views Embedded Systems» more RTCSA 2005»

Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing

14 years 2 months ago

Download www.comp.nus.edu.sg

While enabling fast implementation and reconﬁguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...

Yongxin Zhu, Zhenxin Sun, Alexander Maxiaguine, We...

claim paper

Read More »

click to vote

WOSP
1998
ACM

168views Software Engineering» more WOSP 1998»

Poems: end-to-end performance design of large parallel adaptive computational systems

14 years 1 months ago

Download pages.cs.wisc.edu

The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...

Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...

claim paper

Read More »

click to vote

ISSS
1996
IEEE

94views Hardware» more ISSS 1996»

Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification

14 years 1 months ago

Download www.scarpaz.com

Luca Benini, Patrick Vuillod, Claudionor Jos&eacut...

claim paper

Read More »