22168 search results - page 4147 / 4434 » Computation in Gene Networks |
187
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...
206
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
146
click to vote
SIGCOMM
2006
ACM
16 years 20 days ago
2006
ACM
We consider the design of bandwidth-demanding broadcasting applications using overlays in environments characterized by hosts with limited and asymmetric bandwidth, and significa...
161
click to vote
SIGECOM
2006
ACM
16 years 20 days ago
2006
ACM
While traditional mechanism design typically assumes isomorphism between the agents’ type- and action spaces, in many situations the agents face strict restrictions on their act...
167
click to vote
SOUPS
2006
ACM
16 years 20 days ago
2006
ACM
We describe Passpet, a tool that improves both the convenience and security of website logins through a combination of techniques. Password hashing helps users manage multiple acc...