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 ...
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
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 ...
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...
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...