Today many applications routinely generate large quantities of data. The data often takes the form of (time) series, or more generally streams, i.e. an ordered sequence of records...
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
This paper presents the Mitosis framework, which is a combined hardware-software approach to speculative multithreading, even in the presence of frequent dependences among threads....
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...