5843 search results - page 857 / 1169 » Software Security in Practice |
277
click to vote
IHI
2012
14 years 2 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
193
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
317
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
170
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
161
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Hypervisors, popularized by Xen and VMware, are quickly becoming commodity. They are appropriate for many usage scenarios, but there are scenarios that require system virtualizatio...