5624 search results - page 416 / 1125 » On Conditional Covering Problem |
177
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
151
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
160
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
162
Voted
CIA
1997
Springer
15 years 11 months ago
1997
Springer
This paper critically analyse the use of active databases as an enabling technology for result sharing as defined in the DAI literature. In particular, we demostrate how ECA (Even...
181
Voted
RTSS
1994
IEEE
15 years 11 months ago
1994
IEEE
The problem of uniprocessor scheduling under conditions of overload is investigated. The system objective is to maximzze the number of tasks that complete by their deadlines. For ...