727 search results - page 60 / 146 » SIMPL: A System for Integrating Optimization Techniques |
123
click to vote
ITNG
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
116
click to vote
CUZA
2002
14 years 11 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
140
click to vote
DEPCOS
2008
IEEE
15 years 6 months ago
2008
IEEE
In railway train-borne equipment, the Driver Machine Interface (DMI) acts like a bridge between the train driver and the onboard automatic train control system (European Vital Com...
LCPC
1999
Springer
15 years 4 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...