317 search results - page 54 / 64 » Benchmarking weak memory models |
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
Suitability of the next generation of high-performance computing systems for petascale simulations will depend on a balance between factors such as processor performance, memory p...
101
click to vote
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— Free-space dilation is an effective approach for narrow passage sampling, a well-recognized difficulty in probabilistic roadmap (PRM) planning. Key to this approach are method...
IJCNN
2006
IEEE
15 years 5 months ago
2006
IEEE
— Neural networks are used in a wide number of fields including signal and image processing, modeling and control and pattern recognition. Some of the most common type of neural ...