4491 search results - page 295 / 899 » Algorithm Engineering |
131
click to vote
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
110
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
119
click to vote
CCECE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Spectrum awareness is a crucial first step of a cognitive radio (CR). This provides information necessary for the CR to adapt to the radio frequency environment, and involves re...
123
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
116
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...