Sciweavers

1652 search results - page 80 / 331
» Integration in Real PCF
Sort
View
WSC
2000
15 years 5 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...
WSC
2004
15 years 5 months ago
Participatory Ergonomics Using VR Integrated with Analysis Tools
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...
Shaikh Imtiyaz, Uma Jayaram, Sankar Jayaram, Craig...
TITS
2010
117views Education» more  TITS 2010»
14 years 11 months ago
Lane-Level Integrity Provision for Navigation and Map Matching With GNSS, Dead Reckoning, and Enhanced Maps
Lane-level positioning and map matching are some of the biggest challenges for navigation systems. Additionally, in safety applications or in those with critical performance requir...
Rafael Toledo-Moreo, David Bétaille, Fran&c...
DSN
2000
IEEE
15 years 8 months ago
Resource Scheduling in Dependable Integrated Modular Avionics
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...
PEPM
1995
ACM
15 years 7 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
Michael Leuschel, Danny De Schreye