9974 search results - page 389 / 1995 » Software Interconnection Models |
160
click to vote
TCAD
2008
15 years 6 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
175
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
167
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
174
click to vote
PROFES
2001
Springer
15 years 11 months ago
2001
Springer
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...
165
Voted
CODES
2006
IEEE
16 years 24 days ago
2006
IEEE
When designing a System-on-Chip (SoC) using a Networkon-Chip (NoC), silicon area and power consumption are two key elements to optimize. A dominant part of the NoC area and power ...