Sciweavers

10718 search results - page 249 / 2144
» On the Circuit Implementation Problem
Sort
View
ERSHOV
1989
Springer
15 years 9 months ago
Experiments with Implementations of Two Theoretical Constructions
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper La...
AAECC
2001
Springer
121views Algorithms» more  AAECC 2001»
15 years 9 months ago
Algorithms for Large Integer Matrix Problems
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
Mark Giesbrecht, Michael J. Jacobson Jr., Arne Sto...
ISLPED
2007
ACM
57views Hardware» more  ISLPED 2007»
15 years 6 months ago
Resource area dilation to reduce power density in throughput servers
Throughput servers using simultaneous multithreaded (SMT) processors are becoming an important paradigm with products such as Sun's Niagara and IBM Power5. Unfortunately, thr...
Michael D. Powell, T. N. Vijaykumar
APSEC
2003
IEEE
15 years 10 months ago
Understanding How the Requirements Are Implemented in Source Code
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
Wei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun
AUSAI
2005
Springer
15 years 10 months ago
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
Kenneth A. Hawick, Heath A. James, C. J. Scogings