10435 search results - page 384 / 2087 » Measuring system normality |
152
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a technique called producer-push that enhances the performance of a page-based software distributed shared memory system. Shared data, in software DSM systems...
217
click to vote
CIBSE
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
169
click to vote
FIW
2007
15 years 8 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
174
click to vote
FTCS
1996
15 years 8 months ago
1996
In the research reported in this paper, transient faults were injected in the nodes and in the communication subsystem (by using software fault injection) of a commercial parallel...
173
click to vote
APAL
2007
15 years 6 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...