1452 search results - page 103 / 291 » Algorithmic Analysis of Array-Accessing Programs |
228
click to vote
POPL
2007
ACM
16 years 23 days ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
134
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
105
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
105
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
101
Voted
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
A large number of embedded systems include 8-bit microcontrollers for their energy efficiency and low cost. Multi-bank memory architecture is commonly applied in 8-bit microcontr...