1601 search results - page 305 / 321 » The affordable application of formal methods to software eng... |
PPPJ
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic compilers can optimize application code speciļ¬cally for observed code behavior. Such behavior does not have to be stable across the entire program execution to be beneļ¬...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Several veriļ¬cation methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
AUIC
2005
IEEE
14 years 1 months ago
2005
IEEE
The augmented desk is gaining popularity in recent HCI research. Its layout of a large horizontal screen on the desk enhances immersive and intense collaborative experiences. A re...
CF
2005
ACM
13 years 9 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
SOCO
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientiļ¬c journal artic...