1938 search results - page 86 / 388 » Dependable Software |
145
Voted
SPLC
2008
15 years 4 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
104
Voted
PDPTA
2003
15 years 4 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
85
Voted
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we investigate the benefit of scheduling non-critical loads for a higher latency during software pipelining. "Noncritical" denotes those loads that have s...
102
Voted
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
While inherent resource redundancies in distributed applications facilitate gracefully degradable services, methods to enhance their dependability may have subtle, yet significan...
138
Voted
ASAP
2000
IEEE
15 years 7 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...