10899 search results - page 162 / 2180 » The GP Programming System |
162
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
102
click to vote
CACM
2010
15 years 2 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
99
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
149
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
133
Voted
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...