338 search results - page 55 / 68 » The design and implementation of formal monitoring technique... |
HPDC
2008
IEEE
14 years 2 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
IPSN
2010
Springer
14 years 22 days ago
2010
Springer
A noise map facilitates monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigat...
HPDC
2002
IEEE
14 years 17 days ago
2002
IEEE
Clusters of workstations have become a cost-effective means of performing scientific computations. However, large network latencies, resource sharing, and heterogeneity found in ...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...