I presume your external ADC is therefore going to connect to GPIO pins as a parallel interface with some sort of strobe line?
I'm guessing here, but are you using something like an LM1881 to get the video line timings?
I'm use to PAL with runs at 64uS line timing. Since when did NTSC get 1000pixels per line? PAL has 768pixels per line at high res.
With 3bits per pixel, I assume you just looking for digital data hidden in the first first lines of a broadcast signal, like teletext data?
Anyway, what it boils down to is how is the ADC connected to the Mbed. If it's parallel GPIO with a strobe then I can't see a reason for not being able to read it in. The main point is 1000pixels at 52uS. That's a pixel clk of 52nS (or around 19MHz). Tight fit but maybe possible. I've generally used a fifo being fed from the ADC and using a CPLD/LM1881 to provide the timing in the past. But it's been some time since I worked directly on video signals themselves.
(Edit: actually, the pixel clock will have to be higher. The video line is 52uS but the black/white display data is a subsection of this coming after the front porch and colur burst data. So to get 1000 sample of actual display data means the pixel clk will have to be run faster).
How fast is DMA on the lpc1768 (mbytes/s)? I want to stream digital camera info into memory. I only want a few lines from the camera but would like full 3 bit resolution for each pixel. I'm thinking I need around 60mbits/s. Is this possible?