Sciweavers

10666 search results - page 432 / 2134
» Quantum programming languages
Sort
View
PLDI
2003
ACM
16 years 2 days ago
Taming the IXP network processor
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...
Lal George, Matthias Blume
134
Voted
ASPLOS
2000
ACM
15 years 11 months ago
Timestamp snooping: an approach for extending SMPs
Milo M. K. Martin, Daniel J. Sorin, Anastassia Ail...
ASPLOS
2000
ACM
15 years 11 months ago
OS and Compiler Considerations in the Design of the IA-64 Architecture
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
Rumi Zahir, Jonathan Ross, Dale Morris, Drew Hess
ICALP
1999
Springer
15 years 11 months ago
New Upper Bounds for MaxSat
We describe exact algorithms that provide new upper bounds for the Maximum Satisfiability problem (MaxSat). We prove
Rolf Niedermeier, Peter Rossmanith
160
Voted
POS
1998
Springer
15 years 11 months ago
Evaluating Usability Aspects of PJama Based on Source Code Measurements
PJama is a system that provides orthogonal persistence defined by reach
Stein Grimstad, Dag I. K. Sjøberg, Malcolm ...