Background: One of the strategies for protein function annotation is to search particular structural motifs that are known to be shared by proteins with a given function. Results:...
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
The description of the jobs is a very important issue for the scheduling and management of Grid jobs. Since there are a lot of different languages for describing Grid jobs, the GG...
s the Pus using the OpenCL API as the platform independent programming model. It has the proposal to extend OpenCL with a module that schedule and balance the workload over the CPU...