12453 search results - page 75 / 2491 » Concurrent Data Structures |
129
click to vote
AROBOTS
1998
15 years 1 months ago
1998
This paper addresses the problem of building large-scale geometric maps of indoor environments with mobile robots. It poses the map building problem as a constrained, probabilistic...
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
111
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
118
click to vote
JPDC
2007
15 years 1 months ago
2007
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
139
click to vote
TVLSI
2008
15 years 1 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...