Sciweavers

13489 search results - page 480 / 2698
» Operating System
Sort
View
LCPC
2009
Springer
15 years 11 months ago
Enforcing Textual Alignment of Collectives Using Dynamic Checks
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
Amir Kamil, Katherine A. Yelick
ICCS
2007
Springer
15 years 10 months ago
A Comparison of Different Conceptual Structures Projection Algorithms
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
Heather D. Pfeiffer, Roger T. Hartley
ISN
1995
Springer
15 years 10 months ago
Experiences in Multi-domain Management Service Development
The developers of management systems and the management services that operate over them will be faced with increasing complexity as services are developed for the open service mar...
David Lewis, Thanassis Tiropanis, Lennart H. Bjerr...
CCE
2008
15 years 7 months ago
Global optimization of multiscenario mixed integer nonlinear programming models arising in the synthesis of integrated water net
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
Ramkumar Karuppiah, Ignacio E. Grossmann
DEPCOS
2008
IEEE
180views Hardware» more  DEPCOS 2008»
16 years 1 months ago
A Resilient SIL 2 Driver Machine Interface for Train Control Systems
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...
Andrea Ceccarelli, István Majzik, Danilo Io...