Sciweavers

3796 search results - page 538 / 760
» Presentations by Programmers for Programmers
Sort
View
FLOPS
2008
Springer
15 years 4 months ago
On-Demand Refinement of Dependent Types
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...
Hiroshi Unno, Naoki Kobayashi
182
Voted
FPGA
2008
ACM
191views FPGA» more  FPGA 2008»
15 years 4 months ago
A hardware framework for the fast generation of multiple long-period random number streams
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
Ishaan L. Dalal, Deian Stefan
151
Voted
FPGA
2008
ACM
133views FPGA» more  FPGA 2008»
15 years 4 months ago
Vector processing as a soft-core CPU accelerator
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 ...
Jason Yu, Guy Lemieux, Christopher Eagleston
120
Voted
AAAI
2010
15 years 4 months ago
Towards an Intelligent Code Search Engine
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...
93
Voted
BCSHCI
2007
15 years 4 months ago
Introducing the companions project: intelligent, persistent, personalised interfaces to the internet
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...
David Benyon, Oli Mival