10669 search results - page 126 / 2134 » Software - Implemented Self-healing System |
140
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
138
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
136
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
154
click to vote
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
140
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...