Sciweavers

1945 search results - page 161 / 389
» Speeding up Serpent
Sort
View
PVM
2004
Springer
15 years 11 months ago
Numerical Simulations on PC Graphics Hardware
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
Jens Krüger, Thomas Schiwietz, Peter Kipfer, ...
ROBOCUP
2004
Springer
158views Robotics» more  ROBOCUP 2004»
15 years 11 months ago
Plug and Play: Fast Automatic Geometry and Color Calibration for Cameras Tracking Robots
We have developed an automatic calibration method for a global camera system. Firstly, we show how to define automatically the color maps we use for tracking the robots’ markers...
Anna Egorova, Mark Simon, Fabian Wiesel, Alexander...
SAT
2004
Springer
158views Hardware» more  SAT 2004»
15 years 11 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren
WG
2004
Springer
15 years 11 months ago
Decremental Clique Problem
The clique problem consists in determining whether an undirected graph G of order n contains a clique of order . In this paper we are concerned with the decremental version of cliq...
Fabrizio Grandoni, Giuseppe F. Italiano
ISCA
2003
IEEE
112views Hardware» more  ISCA 2003»
15 years 11 months ago
A Pipelined Memory Architecture for High Throughput Network Processors
Designing ASICs for each new generation of backbone routers is a time intensive and fiscally draining process. In this paper we focus on the design of a programmable architecture...
Timothy Sherwood, George Varghese, Brad Calder