4067 search results - page 666 / 814 » Programs for Applying Symmetries |
159
click to vote
IEEEPACT
2000
IEEE
15 years 10 months ago
2000
IEEE
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
158
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
127
click to vote
HT
2000
ACM
15 years 10 months ago
2000
ACM
In August of 1998 I completed the first hypertextual dissertation at Rensselaer Polytechnic Institute. The dissertation was a case study applying methods of rhetorical analysis an...
149
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
166
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...