788 search results - page 14 / 158 » Design and use of a system-level specification and verificat... |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper, the system capacity of a multi-cell IEEE 802.16j system operating in transparent mode is investigated. A previous published analytical model is used and incorpor...
TCAD
2008
13 years 7 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper analyzes and compares the effectiveness of various system level design methodologies in assessing performance of embedded computing systems from the earliest stages of ...
ICSM
2008
IEEE
14 years 1 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...