Search Sciweavers | Sciweavers

21

EUROMICRO
1996
IEEE

132views Software Engineering» more EUROMICRO 1996»

A Graph Rewriting Approach for Transformational Design of Digital Systems

13 years 11 months ago

Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...

Corrie Huijs

claim paper

Read More »

24

click to vote

EUROMICRO
1996
IEEE

111views Software Engineering» more EUROMICRO 1996»

Efficient Program Composition on Parix by the Ensemble Methodology

13 years 11 months ago

Download cgi.di.uoa.gr

A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...

John Yiannis Cotronis

claim paper

Read More »

22

click to vote

EUROMICRO
1996
IEEE

140views Software Engineering» more EUROMICRO 1996»

Performance Analysis of Packet Switching Interconnection Networks with Finite Buffers

13 years 11 months ago

Download www.ee.unlv.edu

In thispaper,a mathematicalmethodfor analysis of synchronous packet-switching interconnection networks with jinite buffering capacity at the output of switching elements ispresent...

Aristotel Tentov, Aksenti L. Grnarov

claim paper

Read More »

24

click to vote

EUROMICRO
1996
IEEE

118views Software Engineering» more EUROMICRO 1996»

Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design

13 years 11 months ago

Download www.ics.ele.tue.nl

SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...

Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers