Sciweavers

1204 search results - page 134 / 241
» Parallel concurrent ML
Sort
View
141
Voted
ISCA
2010
IEEE
189views Hardware» more  ISCA 2010»
15 years 8 months ago
RETCON: transactional repair without replay
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
Colin Blundell, Arun Raghavan, Milo M. K. Martin
FCCM
2000
IEEE
131views VLSI» more  FCCM 2000»
15 years 8 months ago
A Reliable LZ Data Compressor on Reconfigurable Coprocessors
Data compression techniques based on Lempel-Ziv (LZ) algorithm are widely used in a variety of applications, especially in data storage and communications. However, since the LZ a...
Wei-Je Huang, Nirmal R. Saxena, Edward J. McCluske...
AMAST
1991
Springer
15 years 7 months ago
Event Spaces and their Linear Logic
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
Vaughan R. Pratt
128
Voted
OPODIS
2004
15 years 5 months ago
Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
Håkan Sundell, Philippas Tsigas
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
15 years 3 months ago
Extreme scalability challenges in micro-finite element simulations of human bone
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
Constantine Bekas, Alessandro Curioni, Peter Arben...