11214 search results - page 2179 / 2243 » Programming Multi-agent Systems |
136
click to vote
PPOPP
2010
ACM
15 years 12 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
160
Voted
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
147
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
118
Voted
ICCD
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a novel on-chip voltage drop reduction technique for on-chip power delivery networks of VLSI systems in the presence of variational leakage current sourc...
117
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
— Leveraging the power of scratchpad memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular a...