Sciweavers

1486 search results - page 170 / 298
» Algorithms for two-box covering
Sort
View
FUN
2007
Springer
80views Algorithms» more  FUN 2007»
15 years 8 months ago
The Traveling Beams Optical Solutions for Bounded NP-Complete Problems
Architectures for optical processors designed to solve bounded instances of NP-Complete problems are suggested. One approach mimics the traveling salesman by traveling beams that ...
Shlomi Dolev, Hen Fitoussi
ESOP
2009
Springer
15 years 8 months ago
Verified, Executable Parsing
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
Aditi Barthwal, Michael Norrish
FCCM
2009
IEEE
204views VLSI» more  FCCM 2009»
15 years 8 months ago
Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs
Geometric algebra (GA) is a mathematical framework that allows the compact description of geometric relationships and algorithms in many fields of science and engineering. The exe...
Holger Lange, Florian Stock, Andreas Koch, Dietmar...
EWSPT
2000
Springer
15 years 8 months ago
A CMM-Based Evaluation of the V-Model 97
The V-Model 97 is a widely used process model in Germany and Europe. It is the development standard for IT-Systems of the Federal Republic of Germany and the basis of Austria'...
Viktor Schuppan, Winfried Rußwurm
FPLE
1995
15 years 8 months ago
A Second Year Course on Data Structures Based on Functional Programming
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
Manuel Núñez, Pedro Palao, Ricardo P...