8874 search results - page 396 / 1775 » A New Implementation of Automath |
186
click to vote
MICAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
164
click to vote
PROFES
2004
Springer
16 years 6 days ago
2004
Springer
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...
150
click to vote
SCOPES
2004
Springer
16 years 6 days ago
2004
Springer
Digital signal processing applications are implemented in embedded systems with fixed-point arithmetic to minimize the cost and the power consumption. To reduce the application ti...
186
click to vote
APCSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper discusses the use of signed-digit representations in the implementation of fast and efficient residue-arithmetic units. Improvements to existing signed-digit modulo adde...
174
click to vote
EH
2003
IEEE
16 years 5 days ago
2003
IEEE
The paper deals with a new approach to the design of adaptive hardware using common Field Programmable Gate Arrays (FPGA). The ultimate aim is to develop evolvable IP (Intellectua...