649 search results - page 9 / 130 » Migrating to a real-time distributed parallel simulator arch... |
ISORC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
IPPS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...
EDOC
2003
IEEE
14 years 2 months ago
2003
IEEE
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...