4067 search results - page 326 / 814 » Programs for Applying Symmetries |
152
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. For many applications, cache misses are the primary performance bottleneck. Even though much research has been performed on automatically optimizing cache behavior at the...
168
click to vote
OOPSLA
2004
Springer
16 years 5 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
165
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
210
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
162
click to vote
SC
2003
ACM
16 years 1 days ago
2003
ACM
SCALLOP is a highly scalable solver and library for elliptic partial differential equations on regular block-structured domains. SCALLOP avoids high communication overheads algor...