1406 search results - page 103 / 282 » Information Flow in Systems with Schedulers |
RV
2010
Springer
14 years 8 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
APVIS
2011
13 years 10 months ago
2011
Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Many analysis techniques rely on co...
104
click to vote
MASCOTS
2001
14 years 11 months ago
2001
In this paper, we develop an upper bound on the individual session queue length of long range dependent (LRD) traffic under the generalized processor sharing (GPS) scheduling disc...
116
click to vote
RSP
1998
IEEE
15 years 2 months ago
1998
IEEE
One of the major differences in partitioning for codesign is in the way the communication cost is evaluated. Generally the size of the edge cut-set is used. When communication bet...
101
click to vote
CASES
2007
ACM
15 years 1 months ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...