4370 search results - page 816 / 874 » Brain Organization and Computation |
148
click to vote
ISCA
2007
IEEE
15 years 11 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...
135
click to vote
MICRO
2007
IEEE
15 years 11 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...
152
click to vote
ATAL
2007
Springer
15 years 11 months 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...
140
Voted
CCS
2007
ACM
15 years 11 months 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...
156
click to vote
CSL
2007
Springer
15 years 11 months 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...