209 search results - page 27 / 42 » Refinement of Information Flow Architectures |
102
click to vote
KBSE
2010
IEEE
14 years 10 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...
130
Voted
CODES
2004
IEEE
15 years 3 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...
97
Voted
COMPSAC
1997
IEEE
15 years 3 months 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
15 years 1 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
16 years 19 days 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...