Sciweavers

2211 search results - page 151 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
79
Voted
DAC
2003
ACM
15 years 11 months ago
State-based power analysis for systems-on-chip
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...
Reinaldo A. Bergamaschi, Yunjian Jiang
ICC
2007
IEEE
117views Communications» more  ICC 2007»
15 years 4 months ago
Performance Modeling of Multi-Rate HDR and its Effect on TCP Throughput
—An interesting feature of the 3G cellular networks is their ability to support multiple data rates. Though the performance of TCP over wireless networks has been well studied, t...
Wenjing Wang, Shamik Sengupta, Mainak Chatterjee
IEEEPACT
2003
IEEE
15 years 3 months ago
Using Software Logging to Support Multi-Version Buffering in Thread-Level Speculation
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
María Jesús Garzarán, Milos P...
DSN
2002
IEEE
15 years 3 months ago
Model Checking Safety Properties of Servo-Loop Control Systems
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
M. Edwin Johnson
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 1 months ago
Partial feedback control of quantum systems using probabilistic fuzzy estimator
Abstract— A partial feedback control scheme with a probabilistic fuzzy estimator (PFE) is presented for the robust control of quantum systems. In this scheme, a probabilistic fuz...
Chunlin Chen, Gerasimos G. Rigatos, Daoyi Dong, J....