Sciweavers

3914 search results - page 308 / 783
» Automating SLA modeling
Sort
View
DAC
2007
ACM
16 years 7 months ago
Accurate Waveform Modeling using Singular Value Decomposition with Applications to Timing Analysis
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...
Anand Ramalingam, Ashish Kumar Singh, Sani R. Nass...
ICFEM
2009
Springer
16 years 1 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
IRI
2008
IEEE
16 years 1 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu
IESS
2007
Springer
92views Hardware» more  IESS 2007»
16 years 26 days ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer
ECBS
2006
IEEE
119views Hardware» more  ECBS 2006»
16 years 23 days ago
A Model Transformation Approach for Design Pattern Evolutions
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
Jing Dong, Sheng Yang, Kang Zhang