744 search results - page 87 / 149 » Software Transactional Memory on Relaxed Memory Models |
112
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
146
Voted
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
129
Voted
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
147
Voted
FCCM
2006
IEEE
15 years 7 months ago
2006
IEEE
With advances in reconfigurable hardware, especially field-programmable gate arrays (FPGAs), it has become possible to use reconfigurable hardware to accelerate complex applicatio...
116
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...