Sciweavers

3192 search results - page 308 / 639
» Translating Model Simulators to Analysis Models
Sort
View
141
Voted
ISCAS
2007
IEEE
105views Hardware» more  ISCAS 2007»
15 years 10 months ago
Stability Analysis of RED Gateway with Multiple TCP Reno Connections
— It has been observed that a bottleneck Random Early Detection (RED) gateway becomes oscillatory when regulating a flow in multiple TCP connections. The stability boundary of t...
Xi Chen, Siu Chung Wong, Chi K. Michael Tse, Ljilj...
154
Voted
EDCC
2010
Springer
15 years 8 months ago
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
Paolo Masci, Silvano Chiaradonna, Felicita Di Gian...
127
Voted
ICDE
1994
IEEE
127views Database» more  ICDE 1994»
15 years 7 months ago
Approximate Analysis of Real-Time Database Systems
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
Jayant R. Haritsa
117
Voted
FMCAD
2007
Springer
15 years 7 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
135
Voted
WCE
2007
15 years 4 months ago
Stock Technical Analysis using Multi Agent and Fuzzy Logic
—this paper proposes a multi agent and fuzzy logic based DSS for stock market. This system will help investors of the stock market to take the correct buy/sell/hold decisions. Th...
Ahmed Abdullah Gamil, Raafat S. Elfouly, Nevin M. ...