8874 search results - page 337 / 1775 » A New Implementation of Automath |
167
click to vote
ICDCIT
2005
Springer
16 years 9 days ago
2005
Springer
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
151
click to vote
PROFES
2004
Springer
16 years 4 days ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
249
click to vote
ISCA
2003
IEEE
16 years 2 days ago
2003
IEEE
Trends in microprocessors of increasing die size and clock speed and decreasing feature sizes have fueled rapidly increasing performance. However, the limited improvements in DRAM...
148
click to vote
PODC
2003
ACM
16 years 1 days ago
2003
ACM
We present the first lock-free implementation of an extensible hash table running on current architectures. Our algorithm provides concurrent insert, delete, and find operations ...
201
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...