Sciweavers

4007 search results - page 551 / 802
» Automotive Software Integration
Sort
View
PTS
1998
81views Hardware» more  PTS 1998»
15 years 8 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
PDPTA
2000
15 years 8 months ago
Performance Monitoring on an HPVM Cluster
Clusters of workstations are becoming popular platforms for parallel computing, but performance on these systems is more complex and harder to predict than on traditional parallel...
Geetanjali Sampemane, Scott Pakin, Andrew A. Chien
WSC
2000
15 years 8 months ago
A simulation test-bed to evaluate multi-agent control of manufacturing systems
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
Robert W. Brennan, William O
WSC
1997
15 years 8 months ago
A Simulation-Based Production Testbed
Researchers at the National Institute of Standards and Technology have been developing a simulation-based production testbed. This testbed contains continuous simulation models of...
Albert Jones, Michael Iuliano
146
Voted
COLING
1996
15 years 8 months ago
Distributing and Porting General Linguistic Tools
Our main motivation is to build general and adaptable linguistic tools and we have faced the problem of their portability. We first make a quick description of the linguistic tool...
Damien Genthial, Jacques Courtin, Jacques Menezo