258 search results - page 32 / 52 » Power Visualization, Analysis, and Optimization Tools for FP... |
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
Visualizing network data, from tree structures to arbitrarily connected graphs, is a difficult problem in information visualization. A large part of the problem is that in network...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
83
Voted
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this investigation a robotic system’s dynamic performance is optimized for high reliability under uncertainty. The dynamic capability equations allow designers to predict the...
CLEIEJ
2004
14 years 11 months ago
2004
Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very diffic...
110
click to vote
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...