10666 search results - page 432 / 2134 » Quantum programming languages |
184
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
134
Voted
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
147
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
be honored. Abstracting with credit is permitted. To copy otherwise, to sion and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1
146
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We describe exact algorithms that provide new upper bounds for the Maximum Satisfiability problem (MaxSat). We prove
160
Voted
POS
1998
Springer
15 years 11 months ago
1998
Springer
PJama is a system that provides orthogonal persistence defined by reach