4370 search results - page 816 / 874 » Brain Organization and Computation |
178
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
173
click to vote
MICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...
197
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
186
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
201
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...