8874 search results - page 349 / 1775 » A New Implementation of Automath |
172
Voted
ICDCSW
2006
IEEE
16 years 25 days ago
2006
IEEE
Interdomain routing is essential to both the stability and efficiency of the global Internet. However, most previous studies focus only on stability, and only on a special class ...
197
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Sampling is a widely used technique to increase efficiency in database and data mining applications operating on large dataset. In this paper we present a scalable sampling imple...
177
click to vote
AOSD
2006
ACM
16 years 23 days ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
190
click to vote
SI3D
2006
ACM
16 years 23 days ago
2006
ACM
In this paper, we propose a new technique for hardware accelerated multi-resolution geometry synthesis. The level of detail for a given viewpoint is created on-the-fly, allowing f...
178
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Expression templates (ET) can significantly reduce the implementation effort of mathematical software. For some compilers, especially for those of supercomputers, it ca...