Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
Software developers increasingly rely on information from the Web, such as documents or code examples on Application Programming Interfaces (APIs), to facilitate their development...
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun...
The Companions project is a 4 year, EU funded Framework Programme 6 project involving a consortium of 16 partners across 8 countries. Its aim is to develop a personalised conversa...