Sciweavers

4198 search results - page 766 / 840
» Data Parallel Program Design
Sort
View
ASPLOS
2006
ACM
15 years 8 months ago
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou
108
Voted
ACMMSP
2004
ACM
92views Hardware» more  ACMMSP 2004»
15 years 7 months ago
Instruction combining for coalescing memory accesses using global code motion
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatan...
HOPL
2007
15 years 6 months ago
AppleScript
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
William R. Cook
ASPLOS
2010
ACM
15 years 5 months ago
Orthrus: efficient software integrity protection on multi-cores
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
Ruirui Huang, Daniel Y. Deng, G. Edward Suh
ESOP
2008
Springer
15 years 3 months ago
Just Forget It - The Semantics and Enforcement of Information Erasure
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
Sebastian Hunt, David Sands