1121 search results - page 159 / 225 » Building Formal Requirements Models for Reliable Software |
154
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
131
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...
145
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
149
click to vote
SIAMAM
2011
14 years 6 months ago
2011
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
165
click to vote
UAI
2007
15 years 5 months ago
2007
The traditional approach to building Bayesian networks is to build the graphical structure using a graphical editor and then add probabilities using a separate spreadsheet for eac...