487 search results - page 54 / 98 » Schedulability analysis of AADL models |
ESA
2009
Springer
14 years 4 months ago
2009
Springer
We consider online algorithms for pull-based broadcast scheduling. In this setting there are n pages of information at a server and requests for pages arrive online. When the serv...
WSC
2001
13 years 11 months ago
2001
This paper presents a simulation model of the operations in the Labor and Delivery Rooms at Jackson Memorial Hospital. A thorough analysis of the contents of hospital's datab...
VLSISP
2010
13 years 4 months ago
2010
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
ATAL
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Commitments play a central role in multi-agent coordination. However, they are inherently uncertain and it is important to take these uncertainties into account during pl...
CCE
2005
13 years 9 months ago
2005
A large body of work exists in process industry supply chain optimisation. We describe the state of the art of research in infrastructure design, modelling and analysis and planni...