Sciweavers

808 search results - page 24 / 162
» Modeling and Analysis of Real-Time and Embedded Systems
Sort
View
56
Voted
IPPS
2010
IEEE
14 years 7 months ago
Modeling and analysis of real -time systems with mutex components
Guoqiang Li, Xiaojuan Cai, Shoji Yuen
IPPS
2003
IEEE
15 years 2 months ago
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
Stefan Lankes, Andreas Jabs, Thomas Bemmerl
80
Voted
ICCAD
2003
IEEE
210views Hardware» more  ICCAD 2003»
15 years 6 months ago
Generalized Network Flow Techniques for Dynamic Voltage Scaling in Hard Real-Time Systems
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...
Vishnu Swaminathan, Krishnendu Chakrabarty
108
Voted
WORDS
2005
IEEE
15 years 3 months ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...
RTAS
1998
IEEE
15 years 1 months ago
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchil...