2501 search results - page 208 / 501 » Obligations and Their Interaction with Programs |
209
Voted
PLDI
1999
ACM
15 years 9 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
132
Voted
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
187
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
159
Voted
ISCAPDCS
2003
15 years 6 months ago
2003
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
149
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...