2007 search results - page 334 / 402 » Using general-purpose programming languages for FPGA design |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
ESOP
2008
Springer
14 years 5 days ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
NJC
2000
13 years 10 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
DAC
2003
ACM
14 years 11 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
ER
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The development of index structures that allow e cient retrieval of spatial objects has been a topic of interest in the last decades. Most of these structures have been d...