Sciweavers

3584 search results - page 486 / 717
» Parallel Computing of Thermoelasticity Problems
Sort
View
ISPDC
2005
IEEE
15 years 8 months ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Distributed Systems
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
Daniel Grosu, Thomas E. Carroll
SKG
2005
IEEE
15 years 8 months ago
An Interest-based P2P RDF Query Architecture
Currently most centralized RDF storage and query architectures have problems in query performance and scalability. In this paper we present a distributed RDF query architecture to ...
Qian Gao, Zhihuan Qiu, Yu Wu, Jing Tian, Yafei Dai
91
Voted
CONCUR
2005
Springer
15 years 8 months ago
Modal Logics for Timed Control
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
Patricia Bouyer, Franck Cassez, François La...
GCC
2005
Springer
15 years 8 months ago
A Semantic Metadata Catalog Service for Grid
Metadata is the information that describes the most important feature of an object. In recent years, metadata plays a more and more important role in data intensive applications. I...
Kewei Wei, Ming Zhang, Yaping Zhu
LCTRTS
2005
Springer
15 years 8 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg