Sciweavers

77016 search results - page 376 / 15404
» Modeling
Sort
View
ICSE
2007
IEEE-ACM
16 years 5 months ago
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
Alexander Egyed
ICCAD
2007
IEEE
175views Hardware» more  ICCAD 2007»
16 years 1 months ago
Compact modeling of variational waveforms
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
Vladimir Zolotov, Jinjun Xiong, Soroush Abbaspour,...
124
Voted
AINA
2009
IEEE
15 years 12 months ago
Modeling Web Request and Session Level Arrivals
This paper is focused on modeling Web request and session level arrival processes. We propose a statistically rigorous approach which includes testing for non-stationarity and Gau...
Xuan Wang, Katerina Goseva-Popstojanova
96
Voted
MSWIM
2009
ACM
15 years 12 months ago
Contention in multi-hop wireless networks: model and fairness analysis
Vinay Kolar, Karthik Bharath, Nael B. Abu-Ghazaleh...
100
Voted
FASE
2009
Springer
15 years 12 months ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
« Prev « First page 376 / 15404 Last » Next »