Sciweavers

5707 search results - page 976 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
ENGL
2007
63views more  ENGL 2007»
15 years 6 months ago
A Full Integrated Gain Variable LNA for WCDMA
—In this paper we propose a gain-variable low noise amplifier (LNA) for low-voltage and low power WCDMA application. The LNA is designed based on a current-reused topology and a ...
Zhi-Ming Lin, Yu-Chun Huang
ENTCS
2007
110views more  ENTCS 2007»
15 years 6 months ago
A Bayesian Model for Event-based Trust
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
Mogens Nielsen, Karl Krukow, Vladimiro Sassone
JPDC
2006
120views more  JPDC 2006»
15 years 6 months ago
HeteroMPI: Towards a message-passing library for heterogeneous networks of computers
The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
Alexey L. Lastovetsky, Ravi Reddy
ENTCS
2007
85views more  ENTCS 2007»
15 years 6 months ago
Proving Approximate Implementations for Probabilistic I/O Automata
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
Sayan Mitra, Nancy A. Lynch
JPDC
2006
129views more  JPDC 2006»
15 years 6 months ago
LAD: Localization anomaly detection for wireless sensor networks
In wireless sensor networks (WSNs), sensors' locations play a critical role in many applications. Having a GPS receiver on every sensor node is costly. In the past, a number ...
Wenliang Du, Lei Fang, Peng Ning