4895 search results - page 676 / 979 » Functional Quantum Programming |
162
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
180
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...
171
click to vote
DUX
2007
15 years 10 months ago
2007
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...
163
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
159
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
Distributed local memories, or scratchpads, have been shown to effectively reduce cost and power consumption of application-specific accelerators while maintaining performance. Th...