Sciweavers

29147 search results - page 97 / 5830
» System Modeling Resurrected
Sort
View
DATE
2004
IEEE
120views Hardware» more  DATE 2004»
15 years 6 months ago
Evaluation of SystemC Modelling of Reconfigurable Embedded Systems
This paper evaluates the use of pin and cycle accurate SystemC models for embedded system design exploration and early software development. The target system is MicroBlaze Vanill...
Tero Rissa, Adam Donlin, Wayne Luk
ITSSA
2006
76views more  ITSSA 2006»
15 years 2 months ago
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
Olga Ormandjieva, Heng Kuang, Emil Vassev
UM
2001
Springer
15 years 7 months ago
A User Modeling Approach to Determining System Initiative in Mixed-Initiative AI Systems
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
Michael W. Fleming, Robin Cohen
BIRTHDAY
2007
Springer
15 years 9 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
DATE
2005
IEEE
122views Hardware» more  DATE 2005»
15 years 8 months ago
Systematic Transaction Level Modeling of Embedded Systems with SystemC
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
Wolfgang Klingauf