65 search results - page 4 / 13 » Controlled sequential bifurcation for software reliability s... |
HPCA
2008
IEEE
16 years 14 hour ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
ICPP
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper studies the implementation of efficient multicast protocols for Myrinet, a switched, wormhole-routed, Gigabit-per-second network technology. Since Myrinet does not supp...
124
click to vote
TC
2010
14 years 6 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
89
Voted
IWSSD
2000
IEEE
15 years 4 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
97
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Although software managers are generally good at new project estimation, their experience of scheduling rework tends to be poor. Inconsistent or incorrect effort estimation can in...