2838 search results - page 484 / 568 » Verifying Controlled Components |
HPCS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a novel architecture called the MetaGrid based on Grid computing concepts for resource provisioning for wide-area network-enabled applications. Resource provis...
HPDC
2002
IEEE
14 years 2 months ago
2002
IEEE
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...
ISCA
2002
IEEE
14 years 2 months ago
2002
IEEE
On-chip caches represent a sizable fraction of the total power consumption of microprocessors. Although large caches can significantly improve performance, they have the potential...
VISUALIZATION
2002
IEEE
14 years 2 months ago
2002
IEEE
Most systems used for creating and displaying colormap-based visualizations are not photometrically calibrated. That is, the relationship between RGB input levels and perceived lu...
EDCC
2010
Springer
14 years 1 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...