4595 search results - page 78 / 919 » Reasoning about Plans |
164
click to vote
AISC
2000
Springer
15 years 9 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
139
click to vote
HPCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
