8874 search results - page 223 / 1775 » A New Implementation of Automath |
157
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The efficient solution of large systems of linear equations represented by sparse matrices appears in many tasks. LU factorization followed by backward and forward substitutions i...
117
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
124
Voted
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
129
click to vote
CASES
2000
ACM
15 years 9 months ago
2000
ACM
Fragmentation can cause serious loss of memory in systems that are using dynamic memory management. Any useful memory management system must therefore provide means to limit fragm...
147
Voted
CANS
2006
Springer
15 years 8 months ago
2006
Springer
Pairings on elliptic curves have been used as cryptographic primitives for the development of new applications such as identity based schemes. For the practical applications, it is...