Sciweavers

3565 search results - page 193 / 713
» Modeling a system controller for timing analysis
Sort
View
124
Voted
EMSOFT
2008
Springer
15 years 5 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
AIMSA
2008
Springer
15 years 10 months ago
The Agent Modeling Language (AMOLA)
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
Nikolaos I. Spanoudakis, Pavlos Moraitis
111
Voted
ICC
2007
IEEE
129views Communications» more  ICC 2007»
15 years 10 months ago
Performance Evaluation of CDMA Cellular Systems Considering both the Soft Capacity Constraint and Users' Smooth Random Mobility
— A new call admission control (CAC) strategy based on the soft capacity constraint (SCC) concept is proposed for CDMA cellular systems. The use of the SCC concept allows maximiz...
Carmen B. Rodríguez-Estrello, Felipe A. Cru...
172
Voted
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 7 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
129
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
Optimal Resource Allocation and Reliability Analysis for Component-Based Software Applications
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...
Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu, Chin-Yu H...