Sciweavers

3404 search results - page 296 / 681
» C Programming Tutorial
Sort
View
99
Voted
WSC
1998
15 years 5 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson
114
Voted
WSC
2000
15 years 5 months ago
A Java-based simulation manager for web-based simulation
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
Charles Marr, Christopher Storey, William E. Biles...
IJSN
2006
78views more  IJSN 2006»
15 years 3 months ago
An approach to synthesise safe systems
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
Arshad Jhumka, Felix C. Freiling, Christof Fetzer,...
138
Voted
OL
2010
87views more  OL 2010»
15 years 2 months ago
Uniqueness of integer solution of linear equations
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
O. L. Mangasarian, Michael C. Ferris
158
Voted
IJACTAICIT
2010
549views more  IJACTAICIT 2010»
15 years 28 days ago
Adding PC Connectivity to the MTS-88 Microcomputer Teaching System
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
Omar Walid Abdul-Wahab, Wameedh Nazar Flayyih