209 search results - page 27 / 42 » Refinement of Information Flow Architectures |
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...
COMPSAC
1997
IEEE
14 years 3 days ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
WSCG
2003
13 years 9 months ago
2003
In this paper the virtual environment, viewed as a multi-dimensional space, populated by entities which interact with each other is considered. In this universe an entity can trig...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...