Sciweavers

2147 search results - page 241 / 430
» Natural Phenomena Simulation
Sort
View
FMCAD
2007
Springer
15 years 9 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
GLOBECOM
2009
IEEE
15 years 9 months ago
Mobility-Based Clustering in VANETs Using Affinity Propagation
Abstract--The recent research in cluster-based MAC and routing schemes for Vehicle Ad Hoc Networks (VANETs) motivates the necessity for a stable VANET clustering algorithm. Due to ...
Christine Shea, Behnam Hassanabadi, Shahrokh Valae...
ICASSP
2009
IEEE
15 years 9 months ago
Blind noise variance estimation for OFDMA signals
In this paper, we present two new noise variance estimation methods of OFDMA signals transmitted through an unknown multipath fading channel. We focus on blind estimation as it do...
François-Xavier Socheleau, Dominique Pastor...
CCGRID
2004
IEEE
15 years 9 months ago
A reputation-based trust management system for P2P networks
The open and anonymous nature of a P2P network makes it an ideal medium for attackers to spread malicious content. In this paper, we propose a reputation-based trust management sy...
Ali Aydin Selçuk, Ersin Uzun, Mark Resat Pa...
DELTA
2004
IEEE
15 years 9 months ago
Towards Analog and Mixed-Signal SOC Design with SystemC-AMS
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
Alain Vachoux, Christoph Grimm, Karsten Einwich