22168 search results - page 4147 / 4434 » Computation in Gene Networks |
224
click to vote
PLDI
2006
ACM
16 years 1 months 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...
226
click to vote
PLDI
2006
ACM
16 years 1 months 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...
170
click to vote
SIGCOMM
2006
ACM
16 years 1 months 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...
178
click to vote
SIGECOM
2006
ACM
16 years 1 months 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...
192
click to vote
SOUPS
2006
ACM
16 years 1 months 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...