2853 search results - page 78 / 571 » On Coherence in Computer Algebra |
164
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
The probability of failures in software distributed shared memory (SDSM) increases as the system size grows. This paper introduces a new, efficient message logging technique, call...
138
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
124
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
148
Voted
CIARP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The usage of Conformal Geometric Algebra leads to algorithms that can be formulated in a very clear and easy to grasp way. But it can also increase the performance of an ...
152
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...