Sciweavers

12453 search results - page 280 / 2491
» Concurrent Data Structures
Sort
View
ICMCS
2008
IEEE
207views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Structure learning in a Bayesian network-based video indexing framework
Several stochastic models provide an effective framework to identify the temporal structure of audiovisual data. Most of them need as input a first video structure, i.e. connecti...
Siwar Baghdadi, Guillaume Gravier, Claire-Hé...
DNIS
2007
Springer
114views Database» more  DNIS 2007»
16 years 26 days ago
Improving the Performance of Read-Only Transactions Through Speculation
A read-only transaction (ROT) does not modify any data. The main issues regarding processing ROTs are correctness, data currency and performance. Two-phase Locking (2PL) protocol i...
Thirumalaisamy Ragunathan, P. Krishna Reddy
ICFP
2006
ACM
16 years 6 months ago
Transactional events
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
Kevin Donnelly, Matthew Fluet
AMAST
1991
Springer
15 years 10 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
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
15 years 6 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...