5964 search results - page 220 / 1193 » A theory of speculative computation |
163
click to vote
IJHPCA
2008
15 years 7 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
185
click to vote
JCP
2007
15 years 7 months ago
2007
—Honeypots are computer systems designed for no purpose other than recording attacks on them. Cyberattackers should avoid them since honeypots jeopardize the secrecy of attack me...
175
click to vote
CGA
2005
15 years 7 months ago
2005
In today's fast-paced world, it is increasingly difficult to understand and act promptly upon the content of the many information streams available. Temporal pooling addresse...
188
click to vote
RELMICS
2001
Springer
15 years 11 months ago
2001
Springer
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...
180
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...