9405 search results - page 254 / 1881 » Computing a Model of Set Theory |
144
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
131
click to vote
JCAMD
2010
15 years 5 months ago
2010
An account is given of our contributions to the SAMPL2 challenge for vacuum-water transfer energies. These contributions include different charge sets and radii used with Poisson...
169
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
233
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
162
click to vote
DC
2000
15 years 6 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...