Sciweavers

4894 search results - page 262 / 979
» Choices
Sort
View
EUROPAR
2009
Springer
16 years 1 months ago
Atune-IL: An Instrumentation Language for Auto-tuning Parallel Applications
Automatic performance tuning (auto-tuning) has been used in parallel numerical applications for adapting performance-relevant parameters. We extend auto-tuning to general-purpose ...
Christoph A. Schaefer, Victor Pankratius, Walter F...
FC
2009
Springer
93views Cryptology» more  FC 2009»
16 years 1 months ago
Coercion Resistant End-to-end Voting
End-to-end voting schemes have shown considerable promise for allowing voters to verify that tallies are accurate. At the same time, the threat of coercion has generally been consi...
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
FORMATS
2009
Springer
16 years 1 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
ICCS
2009
Springer
16 years 1 months ago
A Second Order Adjoint Method to Targeted Observations
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
Humberto C. Godinez, Dacian N. Daescu
ICSR
2009
Springer
16 years 1 months ago
A Case Study of Variation Mechanism in an Industrial Product Line
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...
Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek