4604 search results - page 101 / 921 » Concurrency in Synchronous Systems |
136
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...
102
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
111
Voted
JSA
2006
15 years 3 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 ...
100
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
143
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...