7103 search results - page 912 / 1421 » Program Generation and Components |
139
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
169
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
291
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
179
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
160
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Peer-to-peer file sharing is popular, but it generates random write traffic to storage due to the nature of swarming. NAND flash memory based Solid-State Drive (SSD) technology...