Sciweavers

1215 search results - page 63 / 243
» On modeling, analysis, and optimization of packet aggregatio...
Sort
View
DAC
2007
ACM
15 years 10 months ago
Global Critical Path: A Tool for System-Level Timing Analysis
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea...
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 2 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
PE
2000
Springer
93views Optimization» more  PE 2000»
14 years 9 months ago
A novel approach to queue stability analysis of polling models
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...
Rocky K. C. Chang, Sum Lam
DLOG
2000
14 years 11 months ago
Optimizing TBox and ABox Reasoning with Pseudo Models
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
Volker Haarslev, Ralf Möller
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
15 years 6 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha