8874 search results - page 407 / 1775 » A New Implementation of Automath |
160
click to vote
SIGMOD
1993
ACM
15 years 11 months ago
1993
ACM
The OO7 Benchmark represents a comprehensive test of OODBMS performance. In this report we describe the benchmark and present performance results from its implementation in four O...
180
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
164
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Height fields and depth maps which we collectively refer to as z-fields, usually carry a lot of redundant information and are often used in real-time applications. This is the rea...
194
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Workflow mechanism is used into grid system to combine multiple grid services to implement complex grid application. But the workflow is not programmable, and is not flexible enoug...
156
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Many of the modern networks used to interconnect nodes in cluster-based computing systems provide network interface cards (NICs) that offer programmable processors. Substantial re...