943 search results - page 155 / 189 » Simulation based deadlock analysis for system level designs |
SIMPAR
2010
13 years 7 months ago
2010
Stability of bipedal locomotion is analyzed using a model of a planar biped written in the framework of systems with unilateral constraints. Based on this model, two different sta...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
IEEEPACT
2009
IEEE
14 years 3 months ago
2009
IEEE
In today’s data centers, precisely controlling server power consumption is an essential way to avoid system failures caused by power capacity overload or overheating due to incr...
SIGMETRICS
2004
ACM
14 years 2 months ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...