703 search results - page 40 / 141 » Automatic Generation of Block-Recursive Codes |
126
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
150
click to vote
CL
2008
Springer
15 years 2 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
100
click to vote
PDPTA
2007
15 years 3 months ago
2007
- In this paper we experiment with two optimization techniques we are considering implementing in a parallelizing compiler that generates parallel code for a distributed-memory sys...
108
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
107
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...