Sciweavers

1624 search results - page 34 / 325
» Modelling Variability for System Families
Sort
View
ISQED
2009
IEEE
70views Hardware» more  ISQED 2009»
14 years 3 months ago
On-chip transistor characterization arrays with digital interfaces for variability characterization
An on-chip test-and-measurement system with digital interfaces that can perform device-level characterization of large-dense arrays of transistors is demonstrated in 90- and 65-nm...
Simeon Realov, William McLaughlin, Kenneth L. Shep...
GI
2008
Springer
13 years 9 months ago
A Model-Based Development Method for Device Drivers
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
Ulrich Margull, Michael Kersten, Nikolaus Regnat
ICECCS
2000
IEEE
126views Hardware» more  ICECCS 2000»
14 years 1 months ago
Domain Modeling of Software Process Models
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
14 years 27 days ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
VTC
2010
IEEE
114views Communications» more  VTC 2010»
13 years 7 months ago
Power Control Game with SINR-Pricing in Variable-Demand Wireless Data Networks
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
Fu-Yun Tsuo, Wei-Lin Lee, Chih-Yu Wang, Hung-Yu We...