1173 search results - page 107 / 235 » Program Derivation Using Analogy |
138
Voted
IVCNZ
1998
15 years 6 months ago
1998
Duality is a well-established concept in quantum physics. It formalises the fact that what one observes is not nature in itself, but--in Heisenberg's words--"nature expo...
241
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
133
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
128
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
144
click to vote
MP
2008
15 years 4 months ago
2008
Gomory mixed-integer (GMI) cuts generated from optimal simplex tableaus are known to be useful in solving mixed-integer programs. Further, it is well-known that GMI cuts can be de...