2261 search results - page 400 / 453 » Modeling the Experimental Software Engineering Process |
169
click to vote
TSE
2011
14 years 9 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
124
click to vote
WSC
2000
15 years 3 months ago
2000
In 1999, Kellogg Company needed to rationalize its area manufacturing capacity. A significant portion of the production was moved between Kellogg manufacturing plants. Simulation ...
119
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
107
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
109
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...