Sciweavers

519 search results - page 78 / 104
» Using Goal-Models to Analyze Variability
Sort
View
ICCAD
2008
IEEE
147views Hardware» more  ICCAD 2008»
14 years 5 months ago
Overlay aware interconnect and timing variation modeling for double patterning technology
— As Double Patterning Technology (DPT) becomes the only solution for 32-nm lithography process, we need to investigate how DPT affects the performance of a chip. In this paper, ...
Jae-Seok Yang, David Z. Pan
VMCAI
2009
Springer
14 years 3 months ago
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
Vincent Laviron, Francesco Logozzo
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
14 years 3 months ago
Slip ratio for lugged wheel of planetary rover in deformable soil: definition and estimation
—The wheel slip ratio is an important state variable in terramechanics research and the control of planetary rovers. Definitions of the slip ratio for a wheel with lugs and metho...
Liang Ding, Haibo Gao, Zongquan Deng, Kazuya Yoshi...
HICSS
2007
IEEE
75views Biometrics» more  HICSS 2007»
14 years 3 months ago
Multiple Measures of Website Effectiveness and their Association with Service Quality in Health and Human Service Agencies
Although many different measures of website effectiveness have been developed, few studies have rigorously compared and contrasted the measures. Based on the organizational effect...
Eric W. Welch, Sanjay K. Pandey
GLOBECOM
2006
IEEE
14 years 2 months ago
An Empirical Study on Statistical Properties of GSM Telephone Call Arrivals
 We investigate the statistical properties of both originated and terminated call arrivals in sets of real GSM telephone traffic data (TIM, Italy), emphasizing results obtained ...
Stefano Bregni, Roberto Cioffi, Maurizio Decina