1121 search results - page 159 / 225 » Building Formal Requirements Models for Reliable Software |
214
Voted
ISESE
2005
IEEE
16 years 1 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...
189
Voted
EWSPT
2003
Springer
16 years 19 days 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...
239
click to vote
ASPLOS
2010
ACM
16 years 2 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...
217
click to vote
SIAMAM
2011
14 years 10 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...
243
Voted
UAI
2007
15 years 8 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...