4413 search results - page 36 / 883 » New Directions for CACM |
143
click to vote
ALDT
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
170
click to vote
LICS
2008
IEEE
16 years 2 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
177
click to vote
HIPC
2007
Springer
15 years 12 months ago
2007
Springer
Traditional directory-based cache coherence protocols suffer from long-latency cache misses as a consequence of the indirection introduced by the home node, which must be accessed...
191
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
137
click to vote
ICCV
2001
IEEE
16 years 7 months ago
2001
IEEE
Pinhole camera model is a simplified subset of geometric optics. In special cases like the image formation of the cone (a degenerate conic section) mirror in an omnidirectional vi...