215 search results - page 22 / 43 » Toward Verified Execution Environments |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
JUCS
2010
13 years 6 months ago
2010
: The advances and adoption of Trusted Computing and hardware assisted virtualisation technologies in standard PC platforms promise new approaches in building a robust virtualisati...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Enabling high performance, persistent mobile computing has recently become a very active research area. The widespread popularity of mobile computing devices, such as laptops, han...
ET
2007
13 years 7 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...