4752 search results - page 601 / 951 » Dependability in Web Software |
209
click to vote
CCE
2011
14 years 11 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
219
click to vote
FOSSACS
2011
Springer
14 years 11 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
240
click to vote
HIPEAC
2011
Springer
14 years 7 months ago
2011
Springer
Much compiler-orientated work in the area of mapping parallel programs to parallel architectures has ignored the issue of external workload. Given that the majority of platforms w...
227
click to vote
VMCAI
2012
Springer
14 years 3 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
183
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...