Sciweavers

336 search results - page 13 / 68
» Simulation Approaches for Strongly Coupled Interconnect Syst...
Sort
View
SIMPRA
2010
137views more  SIMPRA 2010»
14 years 8 months ago
Co-simulation for performance prediction of integrated building and HVAC systems - An analysis of solution characteristics using
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
Marija Trcka, Jan L. M. Hensen, Michael Wetter
TC
2010
14 years 8 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
CORR
2011
Springer
178views Education» more  CORR 2011»
14 years 4 months ago
Robust Additively Coupled Games
We determine the robust Nash equilibrium (RNE) for a wide range of problems in communications systems and networks that are faced with uncertainty in their parameters’ values. T...
Saeedeh Parsaeefard, Ahmad R. Sharafat, Mihaela va...
117
Voted
SC
1991
ACM
15 years 1 months ago
Alleviation of tree saturation in multistage interconnection networks
This paper presents an examination of two distinct but complementary extensions of previous work on hot spot contention in multistage interconnection networks. The first extensio...
Matthew K. Farrens, Brad Wetmore, Allison Woodruff
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 3 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...