Sciweavers

27692 search results - page 194 / 5539
» Where is ...
Sort
View
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
14 years 4 months ago
On the verification of automotive protocols
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
G. Zarri, F. Colucci, F. Dupuis, R. Mariani, M. Pa...
ETS
2006
IEEE
93views Hardware» more  ETS 2006»
14 years 4 months ago
Retention-Aware Test Scheduling for BISTed Embedded SRAMs
In this paper we address the test scheduling problem for Builtin Self-tested (BISTed) embedded SRAMs (e-SRAMs) when Data Retention Faults (DRFs) are considered. The proposed test ...
Qiang Xu, Baosheng Wang, F. Y. Young
FOCS
2006
IEEE
14 years 4 months ago
A Local Switch Markov Chain on Given Degree Graphs with Application in Connectivity of Peer-to-Peer Networks
We study a switch Markov chain on regular graphs, where switches are allowed only between links that are at distance 3; we call this the Flip. The motivation for studying the Flip...
Tomás Feder, Adam Guetz, Milena Mihail, Ami...
HICSS
2006
IEEE
83views Biometrics» more  HICSS 2006»
14 years 4 months ago
Reliable Broadcast in Wireless Mobile Ad Hoc Networks
— We propose a single source reliable broadcasting algorithm for linear grid-based networks where a message is guaranteed to be delivered to all the nodes of the network. The nod...
Mansoor Mohsin, David Cavin, Yoav Sasson, Ravi Pra...
HICSS
2006
IEEE
139views Biometrics» more  HICSS 2006»
14 years 4 months ago
Benefit and Pricing of Spatio-Temporal Information in Mobile Peer-to-Peer Networks
In this paper we examine the dissemination of reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range wireless tr...
Bo Xu, Ouri Wolfson, Naphtali Rishe