5241 search results - page 803 / 1049 » Embedded Programming with C |
100
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
123
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
241
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
233
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
150
click to vote
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...