4231 search results - page 477 / 847 » Using Language More Responsibly |
158
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
129
click to vote
CSSE
2008
IEEE
16 years 16 days ago
2008
IEEE
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
179
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...
134
click to vote
IWPC
2005
IEEE
15 years 11 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
183
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...