Sciweavers

622 search results - page 55 / 125
» Analysis of Frictional Contact Models for Dynamic Simulation
Sort
View
BROADNETS
2007
IEEE
14 years 4 months ago
TCP dynamics over IEEE 802.11E WLANs: Modeling and throughput enhancement
— Today, IEEE 802.11 Wireless LAN (WLAN) has become a prevailing solution for broadband wireless Internet access while Transport Control Protocol (TCP) is the dominant transport ...
Jeonggyun Yu, Sunghyun Choi, Daji Qiao
WSC
1997
13 years 11 months ago
Integrated Medical Analysis System
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
Susan L. Mabry, Samuel L. Rodriquez, James D. Heff...
CMSB
2008
Springer
13 years 12 months ago
Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
Dirk Lebiedz, Dominik Skanda, Marc Fein
WSC
2008
14 years 15 days ago
Predictive-conservative synchronization for commercial simulation package interoperability
Distributed simulation is desired in many industries to support analysis and decision making for complex and integrated problems. Interoperating commercial simulation packages usi...
Yuanxi Liang, Stephen John Turner, Boon-Ping Gan
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
14 years 4 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao