7421 search results - page 1307 / 1485 » In search of dependable design |
167
click to vote
IEEEPACT
2006
IEEE
16 years 19 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
184
click to vote
IEEEPACT
2006
IEEE
16 years 19 days ago
2006
IEEE
Packet forwarding is a memory-intensive application requiring multiple accesses through a trie structure. The efficiency of a cache for this application critically depends on the ...
174
click to vote
ASPLOS
2006
ACM
16 years 17 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
176
click to vote
HASKELL
2006
ACM
16 years 17 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
180
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...