Sciweavers

12032 search results - page 568 / 2407
» Simulation of Manufacturing Systems
Sort
View
FDL
2004
IEEE
15 years 11 months ago
Reuse of SML module system for the B language
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
Dorian Petit, Vincent Poirriez, Georges Mariano
WSC
1997
15 years 8 months ago
A Demonstration of the Integrated Supportability Analysis and Cost System (ISACS+)
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
Helena L. Weaks, James D. Barrett
ISPAN
1996
IEEE
15 years 11 months ago
SmartNet: a scheduling framework for heterogeneous computing
SmartNet is a scheduling framework for heterogeneous systems. Preliminary conservative simulation results
Richard F. Freund, Taylor Kidd, Debra A. Hensgen, ...
HPCN
1995
Springer
15 years 10 months ago
Mermaid: modelling and evaluation research in MIMD architecture design
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
Andy D. Pimentel, J. van Brummen, T. Papathanassia...
WSC
2007
15 years 9 months ago
Simulation-aided path planning of UAV
The problem of path planning for Unmanned Aerial Vehicles (UAV) with a tracking mission, when some a priori information about the targets and the environment is available can in s...
Farzad Kamrani, Rassul Ayani