10575 search results - page 406 / 2115 » T2Script Programming Language |
132
Voted
ASPLOS
2000
ACM
15 years 10 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
138
click to vote
ICALP
1999
Springer
15 years 10 months ago
1999
Springer
We describe exact algorithms that provide new upper bounds for the Maximum Satisfiability problem (MaxSat). We prove
149
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
PJama is a system that provides orthogonal persistence defined by reach
128
Voted
PLDI
1990
ACM
15 years 10 months ago
1990
ACM
Converting decimal scientific notation into binary floating point is nontrivial, but this conversion can be performed with the best possible accuracy without sacrificing efficienc...