4311 search results - page 167 / 863 » Code Generation for Distributed Systems |
146
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
131
click to vote
CCR
2006
15 years 2 months ago
2006
Network coding is a new research area that may have interesting applications in practical networking systems. With network coding, intermediate nodes may send out packets that are...
151
click to vote
SIGCOMM
2004
ACM
15 years 7 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
107
click to vote
CODES
2005
IEEE
15 years 4 months ago
2005
IEEE
We propose a secure platform on a chip multiprocessor, known as FIDES, in order to enable next generation mobile terminals to execute downloaded native applications for Linux. Its...
117
click to vote
OPODIS
2007
15 years 3 months ago
2007
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...