6149 search results - page 675 / 1230 » Revealing the programming process |
210
click to vote
LPAR
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
164
click to vote
CSMR
2003
IEEE
16 years 16 days ago
2003
IEEE
Software services are being promoted as the next big step forward in software engineering.. Inevitably, both service vendor and service client programs will require maintenance. W...
236
click to vote
IAT
2003
IEEE
16 years 15 days ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
195
click to vote
KBSE
2003
IEEE
16 years 15 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
177
click to vote
SCAM
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...