1159 search results - page 158 / 232 » Binary Decision Graphs |
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—This paper proposes a simple non-coherent amplifyand-forward receiver for the relay channel and evaluates its diversity performance for Rayleigh fading channels. We use ...
IISWC
2008
IEEE
14 years 4 months ago
2008
IEEE
Commercial server applications remain memory bound on modern multiprocessor systems because of their large data footprints, frequent sharing, complex non-strided access patterns, ...
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
ATVA
2007
Springer
14 years 4 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...