5363 search results - page 603 / 1073 » Building the Cerebellum in a Computer |
322
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Efficiently managing storage is important for virtualized computing environments. Its importance is magnified by developments such as cloud computing which consolidate many thousa...
202
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
207
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
214
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...
199
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We present Lazy Binary Splitting (LBS), a user-level scheduler of nested parallelism for shared-memory multiprocessors that builds on existing Eager Binary Splitting work-stealing...