762 search results - page 139 / 153 » Conditionally correct superoptimization |
161
Voted
DSN
2007
IEEE
16 years 21 days 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 ...
164
Voted
IEEESCC
2007
IEEE
16 years 20 days 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...
174
Voted
INFOCOM
2007
IEEE
16 years 20 days 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...
154
Voted
LCN
2007
IEEE
16 years 19 days 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 ...
178
Voted
SMC
2007
IEEE
16 years 19 days 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...