854 search results - page 166 / 171 » Addressing Dynamic Issues of Program Model Checking |
TASE
2008
IEEE
14 years 11 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...
112
click to vote
IADIS
2004
15 years 1 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...
BMCBI
2007
14 years 11 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 ...
105
click to vote
SAC
2010
ACM
15 years 6 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 ...
106
click to vote
ISPAN
2009
IEEE
15 years 6 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 ...