1580 search results - page 215 / 316 » Non-Interference Through Determinism |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The general purpose of the scholarly communication process is to support the creation and dissemination of ideas within the scientific community. At a finer granularity, there exi...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by paying certain voters to change t...
CCR
2007
13 years 10 months ago
2007
Delayed acknowledgments were introduced to conserve network and host resources. Further reduction of the acknowledgment frequency can be motivated in the same way. However, reduci...
IJPP
2008
13 years 10 months ago
2008
Neural-inspired branch predictors achieve very low branch misprediction rates. However, previously proposed implementations have a variety of characteristics that make them challen...
CGF
2007
13 years 10 months ago
2007
We introduce a new appearance-modeling paradigm for synthesizing the internal structure of a 3D model from photographs of a few cross-sections of a real object. When the internal ...