1391 search results - page 240 / 279 » Completeness of Neighbourhood Logic |
178
click to vote
ASYNC
2000
IEEE
15 years 10 months ago
2000
IEEE
New design technologies rely on truly reusable IP blocks with simple means of assembly. Asynchronous methodologies could be a promising option to implement these requirements. Pro...
139
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
171
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
161
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
141
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...