Sciweavers

2343 search results - page 128 / 469
» MedModel - Healthcare Simulation Software
Sort
View
WSC
2008
15 years 8 months ago
Using data driven simulation to build inventory model
Many general-purpose simulation languages (such as ARENA, SLAM II, GPSS/H, SIMAN etc) have been the major simulation tools to simulate the demand-supply processes. They have made ...
Minghui Yang
ISCA
2010
IEEE
199views Hardware» more  ISCA 2010»
15 years 11 months ago
A case for FAME: FPGA architecture model execution
Given the multicore microprocessor revolution, we argue that the architecture research community needs a dramatic increase in simulation capacity. We believe FPGA Architecture Mod...
Zhangxi Tan, Andrew Waterman, Henry Cook, Sarah Bi...
ISORC
1999
IEEE
15 years 10 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
DAC
2005
ACM
15 years 8 months ago
Matlab extensions for the development, testing and verification of real-time DSP software
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
David P. Magee