2673 search results - page 428 / 535 » Guided Static Analysis |
128
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
131
click to vote
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
133
click to vote
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
145
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...
156
click to vote
APGV
2004
ACM
15 years 9 months ago
2004
ACM
Motivated by the need for an informative, unbiased and quantitative perceptual method for the development and evaluation of a talking head we are developing, we propose a new test...