770 search results - page 124 / 154 » Scalable stochastic processors |
LCPC
2005
Springer
14 years 4 months ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
LPAR
2005
Springer
14 years 4 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
EUROPAR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
DASFAA
2003
IEEE
14 years 4 months ago
2003
IEEE
Providing an efficient way to support XML query processing has become a very important issue. A system called XQP (XQuery Processor) is proposed in this paper to meet the need. X...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we propose a design technique to pipeline cache memories for high bandwidth applications. With the scaling of technology cache access latencies are multiple clock cy...