78 search results - page 16 / 16 » Reasoning about Concurrent Actions and Observations |
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
PROMAS
2004
Springer
13 years 10 months ago
2004
Springer
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
EUROSYS
2010
ACM
13 years 11 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...