13489 search results - page 409 / 2698 » Self-migration of operating systems |
185
click to vote
PODC
1997
ACM
15 years 12 months ago
1997
ACM
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
187
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
201
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
168
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
211
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...