9110 search results - page 367 / 1822 » Formally-Based Design Evaluation |
144
click to vote
JSA
2006
15 years 6 months ago
2006
This paper proposes a new concurrent data structure, called parallel hash table, for synchronizing the access of multiple threads to resources stored in a shared buffer. We prove ...
185
click to vote
TVCG
2010
15 years 5 months ago
2010
—Graphics artists commonly employ physically-based simulation for the generation of effects such as smoke, explosions, and similar phenomena. The task of finding the correct par...
162
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is al...
162
click to vote
TPCTC
2010
Springer
15 years 4 months ago
2010
Springer
Graph Database Management systems (GDBs) are gaining popularity. They are used to analyze huge graph datasets that are naturally appearing in many application areas to model interr...
181
click to vote
EJASP
2010
15 years 1 months ago
2010
Packetized data transmission is commonly used in wireless communication systems. Each packet starts with a preamble which is used to synchronize the receiver with carrier frequenc...