Sciweavers

11151 search results - page 327 / 2231
» On the Complexity of Model Expansion
Sort
View
QEST
2006
IEEE
16 years 1 months ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders
COMPSAC
2005
IEEE
16 years 1 months ago
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sud...
SOCO
2009
Springer
16 years 2 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
SPAA
1995
ACM
15 years 11 months ago
Accounting for Memory Bank Contention and Delay in High-Bandwidth Multiprocessors
For years, the computation rate of processors has been much faster than the access rate of memory banks, and this divergence in speeds has been constantly increasing in recent yea...
Guy E. Blelloch, Phillip B. Gibbons, Yossi Matias,...
BMCBI
2010
138views more  BMCBI 2010»
15 years 7 months ago
Amino acid classification based spectrum kernel fusion for protein subnuclear localization
Background: Prediction of protein localization in subnuclear organelles is more challenging than general protein subcelluar localization. There are only three computational models...
Suyu Mei, Wang Fei