2700 search results - page 472 / 540 » Processor Architectures for Ontogenesis |
CAV
2004
Springer
15 years 5 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
EGH
2004
Springer
15 years 5 months ago
2004
Springer
The only surface primitives that are supported by common graphics hardware are triangles and more complex shapes have to be triangulated before being sent to the rasterizer. Even ...
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
FPL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. With the help of the FPGA technology, the boarder between hardand software has vanished. It is now possible to develop complex designs and fine grained parallel applicat...
OTM
2004
Springer
15 years 5 months ago
2004
Springer
Exceptionally large amounts of both distributed data and computational resources are becoming available through the Grid. This will enable efficient exchange and processing of very...