Sciweavers

3934 search results - page 404 / 787
» Approximate Schedulability Analysis
Sort
View
HYBRID
2007
Springer
16 years 1 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
TELETRAFFIC
2007
Springer
16 years 1 months ago
Performance Analysis of Traffic-Groomed Optical Networks Employing Alternate Routing Techniques
Recent advances in telecommunication networks have allowed WDM to emerge as a viable solution to the ever-increasing demands of the Internet. In a wavelength-routed optical network...
Alicia Nicki Washington, Harry G. Perros
IWCMC
2006
ACM
16 years 1 months ago
Queuing network models for delay analysis of multihop wireless ad hoc networks
— In this paper we focus on characterizing the average end-to-end delay and maximum achievable per-node throughput in random access multihop wireless ad hoc networks with station...
Nabhendra Bisnik, Alhussein A. Abouzeid
CSB
2005
IEEE
126views Bioinformatics» more  CSB 2005»
16 years 1 months ago
Visualization of Logic Analysis of Phylogenetic Profiles (LAPP)
Recently Bowers et al. [1] analyzed triplet logic relationships among 4873 Clusters of Orthologous Groups (COGS) from 67 fully sequenced organisms by calculating how well logic re...
Kay A. Robbins, Li Zhao
IAT
2005
IEEE
16 years 1 months ago
Decomposing Large-Scale POMDP Via Belief State Analysis
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...
Xin Li, William K. Cheung, Jiming Liu