2435 search results - page 101 / 487 » GPSS - 40 years of development |
144
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
There has been a substantial growth in the number of educational and networking opportunities for professionals in the computer graphics and related fields in the last three years...
146
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
115
click to vote
STACS
2010
Springer
16 years 24 days ago
2010
Springer
Research on parameterized algorithmics for NP-hard problems has steadily grown over the last years. We survey and discuss how parameterized complexity analysis naturally develops i...
153
click to vote
SEUS
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
177
click to vote
DNIS
2010
Springer
16 years 10 days ago
2010
Springer
In recent years, several frameworks have been developed for processing very large quantities of data on large clusters of commodity PCs. These frameworks have focused on fault-tole...