Sciweavers

1675 search results - page 28 / 335
» Compositional Model-Based Design
Sort
View
DAC
2002
ACM
14 years 10 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...
CBSE
2010
Springer
14 years 1 months ago
(Behavioural) Design Patterns as Composition Operators
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
Kung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, ...
CAV
2008
Springer
99views Hardware» more  CAV 2008»
13 years 12 months ago
Functional Verification of Power Gated Designs by Compositional Reasoning
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
Cindy Eisner, Amir Nahir, Karen Yorav
EDOC
2006
IEEE
14 years 3 months ago
Model Driven Design of Distribution Patterns for Web Service Compositions
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
Ronan Barrett, Claus Pahl
PERCOM
2010
ACM
13 years 8 months ago
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
Seng Wai Loke