Sciweavers

612 search results - page 85 / 123
» Rate-Based Resource Allocation Models for Embedded Systems
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
14 years 2 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
SPRINGSIM
2007
13 years 9 months ago
Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
Rami Madhoun, Gabriel A. Wainer
HICSS
2007
IEEE
118views Biometrics» more  HICSS 2007»
14 years 2 months ago
Introducing Executable Product Models for the Service Industry
In these days, companies need highly flexible processes to deal with changing environments and competitors. Using traditional process models that have to be modeled in all detail...
Markus Kress, Joachim Melcher, Detlef Seese
WSC
2001
13 years 9 months ago
Reducing input parameter uncertainty for simulations
Parameters of statistical distributions that are input to simulations are typically not known with certainty. For existing systems, or variations on existing systems, they are oft...
Szu Hui Ng, Stephen E. Chick
PC
2008
158views Management» more  PC 2008»
13 years 8 months ago
Application of multistage stochastic programs solved in parallel in portfolio management
We present a multistage model for allocation of financial resources to bond indices in different currencies. The model was tested on historical data of interest and exchange rates...
Mária Lucká, Igor Melichercik, Ladis...