2048 search results - page 58 / 410 » Intelligent search techniques for large software systems |
158
click to vote
CSMR
2009
IEEE
15 years 8 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
245
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
167
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
137
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Large-scale systems like BlueGene/L are susceptible to a number of software and hardware failures that can affect system performance. Periodic application checkpointing is a commo...
172
click to vote
AAAI
2000
15 years 5 months ago
2000
The plethora of content available to the consumer has become overwhelming. Increasing amounts of information are being disseminated through terrestrial broadcast, satellite, and c...