9626 search results - page 307 / 1926 » Invariant Based Programming |
162
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
159
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
178
click to vote
ACE
2003
15 years 8 months ago
2003
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
178
click to vote
ACG
2009
Springer
15 years 10 months ago
2009
Springer
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
137
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Many combinatorial problems require of their solutions that they achieve a certain balance of given features. In the constraint programming literature, little has been written to s...