Sciweavers

4516 search results - page 780 / 904
» Automated System Design for Availability
Sort
View
DSN
2007
IEEE
15 years 4 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 4 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 4 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 4 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 4 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...