1631 search results - page 39 / 327 » Extreme Programming - Back to Basics |
147
click to vote
ENTCS
2006
15 years 2 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
307
click to vote
CCO
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we survey the basic features of state-of-the-art branch-and-cut algorithms for the solution of general mixed integer programming problems. In particular we focus on p...
129
click to vote
HIPEAC
2007
Springer
15 years 6 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
125
click to vote
ENTCS
2006
15 years 2 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
117
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...