8874 search results - page 62 / 1775 » A New Implementation of Automath |
147
click to vote
DCC
2004
IEEE
16 years 3 months ago
2004
IEEE
We present an algorithm for lossy compression of hyperspectral images for implementation on field programmable gate arrays (FPGA). To greatly reduce the bit rate required to code ...
113
Voted
ISPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Multi–comparand associative processors are efficient in parallel processing of complex search problems that arise from many application areas including computational geometry, ...
124
click to vote
RISE
2005
Springer
15 years 9 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
WDAG
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...
147
Voted
DNA
2004
Springer
15 years 8 months ago
2004
Springer
We propose a new way to implement (general) computing devices with unbounded memory. In particular, we show a procedure to implement automata with unbounded stack memory, push-down...