899 search results - page 108 / 180 » Cost Analysis of Games, Using Program Logic |
121
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
127
click to vote
FASE
2006
Springer
15 years 5 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
AAECC
1999
Springer
15 years 1 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
152
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...