Sciweavers

145 search results - page 15 / 29
» Critical Infrastructure Integration Modeling and Simulation
Sort
View
INFOCOM
2007
IEEE
14 years 1 months ago
An Accurate Link Model and Its Application to Stability Analysis of FAST TCP
— This paper presents a link model which captures the queue dynamics when congestion windows of TCP sources change. By considering both the self-clocking and the link integrator ...
Ao Tang, Krister Jacobsson, Lachlan L. H. Andrew, ...
IJIG
2002
138views more  IJIG 2002»
13 years 7 months ago
A Practical Approach for 3D Building Modeling from Uncalibrated Video Sequences
This paper presents an approach for reconstructing a realistic 3D model of a building from its uncalibrated video sequences taken by a hand-held camera. The novelty of this approa...
Yong Liu, Chengke Wu, Hung-Tat Tsui
ISLPED
2004
ACM
102views Hardware» more  ISLPED 2004»
14 years 1 months ago
Microarchitectural power modeling techniques for deep sub-micron microprocessors
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...
Nam Sung Kim, Taeho Kgil, Valeria Bertacco, Todd M...
MABS
2004
Springer
14 years 29 days ago
Extending Time Management Support for Multi-agent Systems
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
Alexander Helleboogh, Tom Holvoet, Danny Weyns, Yo...
FMICS
2010
Springer
13 years 8 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre