1855 search results - page 183 / 371 » A coding theorem for distributed computation |
157
click to vote
IEEEPACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Effective modeling and management of hardware resources have always been critical toward generating highly efficient code in static compilers. With Just-In-Time compilation and dy...
157
click to vote
HPCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Clustered microarchitectures are an effective approach to reducing the penalties caused by wire delays inside a chip. Current superscalar processors have in fact a two-cluster mic...
155
click to vote
FOSSACS
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
163
click to vote
ICCV
2005
IEEE
16 years 10 min ago
2005
IEEE
Recognition of specular objects is particularly difficult because their appearance is much more sensitive to lighting changes than that of Lambertian objects. We consider an appr...
161
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This publication summarizes research on the the design and implementation of liberalized version of existing truth-finding protocols for argumentation, such as the standard two-a...