1141 search results - page 225 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
110
click to vote
HRI
2006
ACM
15 years 6 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
193
Voted
SIGMOD
2009
ACM
16 years 17 days ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
136
click to vote
USS
2008
15 years 2 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
124
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
120
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...