Sciweavers

1347 search results - page 129 / 270
» Efficient traffic simulation using the GCA model
Sort
View
FUIN
2006
160views more  FUIN 2006»
15 years 6 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan
CN
2006
107views more  CN 2006»
15 years 6 months ago
BGP session lifetime modeling in congested networks
The reliable Border Gateway Protocol (BGP) is essential for supporting high quality Internet data communication. In present Internet, due to the lack of differentiation mechanism ...
Li Xiao, Guanghui He, Klara Nahrstedt
CHARME
2001
Springer
107views Hardware» more  CHARME 2001»
15 years 9 months ago
Using Combinatorial Optimization Methods for Quantification Scheduling
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...
JUCS
2008
168views more  JUCS 2008»
15 years 5 months ago
Online Network-on-Chip Switch Fault Detection and Diagnosis Using Functional Switch Faults
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
Naghmeh Karimi, Armin Alaghi, Mahshid Sedghi, Zain...
ISCC
2002
IEEE
15 years 11 months ago
Analyzing quality of service of GPRS network systems from a user's perspective
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
Stefano Porcarelli, Felicita Di Giandomenico, Andr...