1492 search results - page 126 / 299 » Concurrent programming in VISO |
108
Voted
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
89
Voted
JUCS
2000
15 years 8 days ago
2000
: Since the era of vector and pipelined computing, the computational speed is limited by the memory access time. Faster caches and more cache levels are used to bridge the growing ...
82
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
96
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...