4463 search results - page 334 / 893 » computing 2000 |
158
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
166
click to vote
PDP
2006
IEEE
16 years 20 days ago
2006
IEEE
Commodity symmetric multiprocessors (SMPs), though originally intended for transaction processing, because of their availability, are now used for numerical analysis applications ...
155
click to vote
AINA
2005
IEEE
16 years 9 days ago
2005
IEEE
In 2000, Joux proposed a one-round protocol for tripartite Diffie-Hellman. In 2003, Shim presented an efficient one-round tripartite authenticated key agreement protocol based on ...
182
click to vote
ASIACRYPT
2004
Springer
16 years 2 days ago
2004
Springer
The “XL-algorithm” is a computational method to solve overdetermined systems of polynomial equations which is based on a generalization of the well-known method of linearizatio...
178
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...