3605 search results - page 76 / 721 » System and simulation modeling using SysML |
CAV
2012
Springer
13 years 8 days ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
ISPASS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
WSC
2007
15 years 4 days ago
2007
Agent-based simulation is increasingly used to study systems in many areas of business and science. Using agentbased simulation for prediction could be very valuable. However, the...
WSC
2001
14 years 11 months ago
2001
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...
SPRINGSIM
2010
14 years 8 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...