2493 search results - page 155 / 499 » Tool Support for Design by Contract |
126
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Parallel direct execution simulation is an important tool for performance and scalability analysis of large message passing parallel programs executing on top of a virtual compute...
142
click to vote
PADS
1996
ACM
15 years 10 months ago
1996
ACM
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
164
click to vote
EOR
2008
15 years 6 months ago
2008
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...
165
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
202
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Modern high throughput experimental techniques such as DNA microarrays often result in large lists of genes. Computational biology tools such as clustering are then us...