2007 search results - page 58 / 402 » Using general-purpose programming languages for FPGA design |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
180
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
VL
2006
IEEE
15 years 3 months ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...