4328 search results - page 638 / 866 » A New Kind of Science |
141
click to vote
GRAPHITE
2005
ACM
16 years 4 days ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...
222
click to vote
PPOPP
2005
ACM
16 years 4 days ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
192
click to vote
SIGMOD
2005
ACM
16 years 4 days ago
2005
ACM
If presented with inaccurate statistics, even the most sophisticated query optimizers make mistakes. They may wrongly estimate the output cardinality of a certain operation and th...
210
click to vote
VEE
2005
ACM
16 years 4 days ago
2005
ACM
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
159
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...