Sciweavers

2813 search results - page 17 / 563
» Formalizing Architectural Connection
Sort
View
IJMMS
1998
68views more  IJMMS 1998»
15 years 5 months ago
Formal architectural abstractions for interactive software
Panos Markopoulos, Peter Johnson, Jon Rowson
ASWEC
2009
IEEE
16 years 20 days 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»
15 years 10 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