9405 search results - page 1399 / 1881 » Computing a Model of Set Theory |
192
click to vote
IPPS
2003
IEEE
16 years 6 days ago
2003
IEEE
Tiled architectures can provide a model for early estimation of global interconnect costs. A design exploration tool for reconfigurable architectures is currently under developmen...
192
click to vote
STOC
1999
ACM
15 years 11 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
165
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We investigate a complete pipeline for measuring, modeling, and fabricating objects with specified subsurface scattering behaviors. The process starts with measuring the scatterin...
243
click to vote
GPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
185
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...