61 search results - page 7 / 13 » Application QoS-Based Time-Critical Automated Resource Manag... |
ACSW
2006
14 years 10 months ago
2006
In silico bioinformatics experiments involve integration of and access to computational tools and biological databases. The emerging grid computing technologies enable bioinformat...
86
Voted
SIGUCCS
2009
ACM
15 years 2 months ago
2009
ACM
Although recording and streaming lecture videos is becoming popular, large-scale lecture recording is still a difficult task for many universities. Auto lecture recording systems ...
PPOPP
2006
ACM
15 years 3 months ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
DSOM
2005
Springer
15 years 2 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...