Sciweavers

2813 search results - page 17 / 563
» Formalizing Architectural Connection
Sort
View
IJMMS
1998
68views more  IJMMS 1998»
13 years 9 months ago
Formal architectural abstractions for interactive software
Panos Markopoulos, Peter Johnson, Jon Rowson
ASWEC
2009
IEEE
14 years 4 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
DATE
2002
IEEE
83views Hardware» more  DATE 2002»
14 years 2 months ago
Memory System Connectivity Exploration
In programmable embedded systems, the memory subsystem represents a major cost, performance and power bottleneck. To optimize the system for such different goals, the designer wou...
Peter Grun, Nikil D. Dutt, Alexandru Nicolau