762 search results - page 139 / 153 » Conditionally correct superoptimization |
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
IEEESCC
2007
IEEE
14 years 4 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— It has been a big challenge to develop routing protocol that can meet different application needs and optimize routing paths according to the topology change in mobile ad hoc n...
LCN
2007
IEEE
14 years 4 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
—This paper considers the problem of temporally fusing classifier outputs to improve the overall diagnostic classification accuracy in safety-critical systems. Here, we discuss d...