156 search results - page 27 / 32 » Formal Analysis for Debugging and Performance Optimization o... |
CLIMA
2011
12 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
HPCA
2000
IEEE
13 years 12 months ago
2000
IEEE
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...
BIRD
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to con...
JSSPP
2005
Springer
14 years 1 months ago
2005
Springer
Recently HP Labs engaged in a joint project with DreamWorks Animation to develop a Utility Rendering Service that was used to render part of the computer-animated feature film Shr...