1404 search results - page 141 / 281 » Increasing Concurrency in Databases Using Program Analysis |
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
111
click to vote
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. There has been much effort invested in increasing the robustness of human body tracking by incorporating motion models. Most approaches are probabilistic in nature and se...
91
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
107
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...