Search Sciweavers | Sciweavers

15635 search results - page 93 / 3127

» Modelling and Design of VAML

147

click to vote

ACSD
2003
IEEE

115views Hardware» more ACSD 2003»

Component-Based Design: Towards Guided Composition

15 years 9 months ago

Download www.computing.surrey.ac.uk

In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...

Sotiris Moschoyiannis, Michael W. Shields

claim paper

Read More »

127

click to vote

DAC
2001
ACM

128views Computer Architecture» more DAC 2001»

Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks

16 years 5 months ago

Download www.eng.usf.edu

Sanjukta Bhanja, N. Ranganathan

claim paper

Read More »

123

click to vote

CODES
2003
IEEE

111views Software Engineering» more CODES 2003»

Transaction level modeling: an overview

15 years 9 months ago

Download www.cecs.uci.edu

Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well deﬁned and the us...

Lukai Cai, Daniel Gajski

claim paper

Read More »

123

click to vote

DAC
2000
ACM

116views Computer Architecture» more DAC 2000»

Critical path analysis using a dynamically bounded delay model

16 years 5 months ago