Grammar

results.tex

@@ -9,7 +9,7 @@ and the ARM STM32F407 (Cortex-M4).
 On the Intel processors, all measurements were done with Turbo Boost disabled, 
 all Hyper-Threading cores shut down, and with the CPU clocked at the maximum
 nominal frequency.
-The STM32F407 device was run at its default settings,
+The STM32F407 device was run with its default settings,
 as listed in the datasheet~\cite{STM32F407}
 (i.e.~clocked from the internal 16\unit{MHz} internal RC-oscillator).
 We list the benchmarking results in Table~\ref{tab:benchmarks}. As expected,