SDL 2003 | Sciweavers

39

SDL
2003

147views Hardware» more SDL 2003»

Modelling and Evaluation of a Network on Chip Architecture Using SDL

14 years 27 days ago

Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...

Rickard Holsmark, Magnus Högberg, Shashi Kuma...

claim paper

Read More »

31

click to vote

SDL
2003

100views Hardware» more SDL 2003»

A Real-Time Profile for UML and How to Adapt It to SDL

14 years 27 days ago

Download www-verimag.imag.fr

Susanne Graf, Ileana Ober

claim paper

Read More »

42

click to vote

SDL
2003

158views Hardware» more SDL 2003»

Automatic Formal Model Generation and Analysis of SDL

14 years 27 days ago

Download www.kolumbus.fi

A tool for veriﬁcation of distributed systems deﬁned using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...

Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers