Hola, que es lo que deseas hacer con el valor del radio button, porque quizas para lo que quieras te convenga utilizar POST Y no GET o al reves. Otra cosa que he observado en tu script es que como el radio button esta dentro de un while todos los radio que te aparezcan, tendran el mismo nombre de variable, en este caso
procesador, quizas te convenga utilizar una variable que se valla incrementando con cada iteracion del bucle y poner el nombre junto con esa variable, de forma que te quede:
procesador1
procesador2
etc.
por ejemplo:
Código PHP:
$i=1;
while()
{
$procesador="procesador".$i;
<input type=radio name=<?php echo $procesador ?> value.....>
$i++;
}
Asi sabras cual es cual, de la otra forma no podras.
Saludos
Aca te dejo una explicacion muy buena con ejemplos para que veas la diferencia entre GET Y POST
http://www.webestilo.com/php/php09b.phtml