Sciweavers

3605 search results - page 454 / 721
» System and simulation modeling using SysML
Sort
View
CN
2006
107views more  CN 2006»
15 years 4 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
CSB
2005
IEEE
103views Bioinformatics» more  CSB 2005»
15 years 10 months ago
ECOME: A simple model for an evolving consumption web
ECOME is an interactive, graph-based model for simulating an evolving, closed consumption web. It demonstrates the fundamental behavior of a global ecosystem over evolutionary tim...
Christopher Bystroff, Sam DeLuca, Carl N. McDaniel
134
Voted
FMCAD
2009
Springer
15 years 8 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
114
Voted
JSAC
2007
105views more  JSAC 2007»
15 years 4 months ago
What and how much to gain by spectrum agility?
— Static spectrum allocation prohibits radio devices from using spectral bands designated for others. As a result, some bands are under-utilized while other bands are over-popula...
Chun-Ting Chou, Sai Shankar N., Hyoil Kim, Kang G....
ASPLOS
2009
ACM
16 years 5 months ago
RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...
David K. Tam, Reza Azimi, Livio Soares, Michael St...