15421 search results - page 133 / 3085 » Dependability |
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Separate processing of local luminance and contrast in biological visual systems has been argued to be due to the independence of these two properties in natural image ...
WCRE
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
As deep submicron technologies are advanced, new challenges, such as power consumption and soft errors, are emerging. A naïve technique, which utilizes emerging multicore process...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...