Sciweavers

1554 search results - page 188 / 311
» Testing Polymorphic Behavior
Sort
View
WSC
2000
13 years 9 months ago
Virtual machines for message based, real-time and interactive simulation
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...
Hansoo Kim, Chen Zhou, Hua X. Du
WSC
2000
13 years 9 months ago
Soft-commissioning: hardware-in-the-loop-based verification of controller software
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
Harald Schludermann, Thomas Kirchmair, Markus Vord...
AIPS
1994
13 years 9 months ago
Probabilistic Planning with Information Gathering and Contingent Execution
MostAI representations and algorithms for plan generation havenot included the concept of informationproducingactions (also called diagnostics, or tests, in the decision making li...
Denise Draper, Steve Hanks, Daniel S. Weld
CEC
2008
IEEE
13 years 9 months ago
A technique for the visualization of population-based algorithms
— A technique for the visualization of stochastic population–based algorithms in multidimensional problems with known global minimizers is proposed. The technique employs proje...
Konstantinos E. Parsopoulos, Voula C. Georgopoulos...
CONCUR
2010
Springer
13 years 9 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...