Sciweavers

4516 search results - page 780 / 904
» Automated System Design for Availability
Sort
View
DSN
2007
IEEE
15 years 10 months ago
Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Josep...
EUROMICRO
2007
IEEE
15 years 10 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
GLOBECOM
2007
IEEE
15 years 10 months ago
Uncertainty Mitigation for Utility-Oriented Routing in Wireless Ad Hoc Networks
— Link and node reliability are important metrics in wireless ad hoc networks. Therefore, evaluating and quantifying reliability has become the cornerstone of research in this ï¬...
Feng Li, Avinash Srinivasan, Mingming Lu, Jie Wu
HICSS
2007
IEEE
146views Biometrics» more  HICSS 2007»
15 years 10 months ago
Interactive Community Bulletin Boards as Conversational Hubs and Sites for Playful Visual Repartee
In this paper we describe an interactive community bulletin board we installed within a neighborhood café and art gallery, and the interactions that take place around and through...
Elizabeth F. Churchill, Les Nelson
ICC
2007
IEEE
120views Communications» more  ICC 2007»
15 years 10 months ago
Contention-Based Medium Access Control with Physical Layer Assisted Link Differentiation
— In this paper, we develop contention-based medium access control (MAC) schemes for both best-effort data transmissions and delay-sensitive multimedia transmissions over WLANs. ...
Fanglei Sun, Victor O. K. Li, Zhifeng Diao, Zhengy...