109 search results - page 5 / 22 » Real-Time Gang Schedulings with Workload Models for Parallel... |
IPPS
2008
IEEE
14 years 1 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...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
CW
2008
IEEE
14 years 1 months ago
2008
IEEE
Level set methods have been extensively used to track the dynamical interfaces between different materials for physically based simulation, geometry modeling, oceanic modeling and...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
ISORC
1999
IEEE
13 years 11 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...