4895 search results - page 251 / 979 » Functional Quantum Programming |
164
click to vote
IEEEICCI
2003
IEEE
15 years 11 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
150
click to vote
FOCS
1991
IEEE
15 years 10 months ago
1991
IEEE
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...
222
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
166
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
162
click to vote
PPPJ
2006
ACM
16 years 13 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...