Introducing Doc Formal: the journey so far
Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.
Imagination Technologies
Developing and integrating configurable GPU IP using FPGA-based prototyping
How Imagination Technologies used FPGA-based prototyping to develop its GPU IP and integrate it into a real world system
OpenCL: games technology comes to us all
OpenCL aims to open up the performance of graphics processors to other applications. It is also one more way in which compilation is being moved to runtime to make it easier to move code dynamically across heterogeneous platforms.
PLATINUM SPONSORS
View All Sponsors