1587 search results - page 84 / 318 » What's my method |
ESOP
2012
Springer
12 years 5 months ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...
ACL
2012
12 years 12 days ago
2012
Some Statistical Machine Translation systems never see the light because the owner of the appropriate training data cannot release them, and the potential user of the system canno...
CSSE
2008
IEEE
14 years 4 months ago
2008
IEEE
—This paper describes a collaborative lesson-preparing Platform, named Eduwiki, which supports a community of inservice teachers creating, sharing, and improving capacity of less...
FMCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
IWPC
1998
IEEE
14 years 2 months ago
1998
IEEE
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...