137 search results - page 3 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
ISSRE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
AINA
2005
IEEE
13 years 11 months ago
2005
IEEE
Grid middleware is enabling resource sharing between computing centres across the world and sites with existing clusters are eager to connect to the Grid. However, the hardware re...
CLUSTER
2008
IEEE
13 years 11 months ago
2008
IEEE
—The concept of green computing has attracted much attention recently in cluster computing. However, previous local approaches focused on saving the energy cost of the components...
FORTE
2011
12 years 8 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
CCGRID
2010
IEEE
13 years 6 months ago
2010
IEEE
Rapid growth of the demand for computational power by scientific, business and web-applications has led to the creation of large-scale data centers consuming enormous amounts of el...