557 search results - page 74 / 112 » The L4.verified Project - Next Steps |
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
We propose a new method to analyze light transport in homogeneous scattering media. The incident light undergoes multiple bounces in translucent objects, and produces a complex li...
AICT
2005
IEEE
14 years 1 months ago
2005
IEEE
PlanetLab has significantly lowered the barriers to deploying overlays. This paper describes how to lower them further by introducing a general data plane for overlay networks. R...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Information Technology (IT) offshore outsourcing is a non-reversible trend due to its cost implications, and as a result, target of much inquiry in different areas of knowledge. W...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
Lowering computational cost of data analysis and visualization techniques is an essential step towards including the user in the visualization. In this paper we present an improve...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...