854 search results - page 166 / 171 » Addressing Dynamic Issues of Program Model Checking |
104
Voted
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
124
Voted
IADIS
2004
15 years 2 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...
105
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: Microarray time series studies are essential to understand the dynamics of molecular events. In order to limit the analysis to those genes that change expression over ...
116
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...
126
Voted
ISPAN
2009
IEEE
15 years 7 months ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...