3168 search results - page 98 / 634 » Computing Event Dependencies in System Designs and Programs |
123
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
115
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
165
click to vote
CSREAESA
2006
15 years 6 months ago
2006
- Triple Modular Redundancy is widely used in dependable systems design to ensure high reliability against soft errors. Conventional TMR is effective in protecting sequential circu...
156
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
138
Voted
IJCM
2002
15 years 4 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...