Sciweavers

4636 search results - page 262 / 928
» Modelling and Validation with VipTool
Sort
View
MASCOTS
2004
13 years 9 months ago
Modeling the Burstiness of TCP
In this paper we investigate the burstiness of the Transmission Control Protocol (TCP) and its impact on a network of finite TCP connections. A detailed TCP and network model is d...
Peter Dimopoulos, Panlop Zeephongsekul, Zahir Tari
WSC
2001
13 years 9 months ago
Simulation modeling at union pacific railroad
Despite the potential, the use of simulation technology at US railroads appears to be lagging behind that in manufacturing and other transportation industries. This paper describe...
Malay Dalal, Lawrence P. Jensen
WSC
2001
13 years 9 months ago
Fluid model for window-based congestion control mechanism
We study the stability of two queueing delay-based congestion control algorithms, the (p, 1)-proportionally fair algorithm and the global optimization algorithm. We linearize the ...
Richard J. La
ASPDAC
2009
ACM
133views Hardware» more  ASPDAC 2009»
13 years 9 months ago
A combined analytical and simulation-based model for performance evaluation of a reconfigurable instruction set processor
Performance evaluation is a serious challenge in designing or optimizing reconfigurable instruction set processors. The conventional approaches based on synthesis and simulations a...
Farhad Mehdipour, Hamid Noori, Bahman Javadi, Hiro...
BIRTHDAY
2009
Springer
13 years 9 months ago
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...