8094 search results - page 1517 / 1619 » Improvements in Formula Generalization |
135
click to vote
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
107
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Integrating more processor cores on-die has become the unanimous trend in the microprocessor industry. Most of the current research thrusts using chip multiprocessors (CMPs) as th...
115
click to vote
ASSETS
2008
ACM
15 years 2 months ago
2008
ACM
Software developers, designers and researchers have been looking to technology for solutions to help and educate people with autism for over two decades. There are many examples o...
120
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Many applications of networks of agents, including mobile sensor networks, unmanned air vehicles, autonomous underwater vehicles, involve 100s of agents acting collaboratively und...
120
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...