2523 search results - page 253 / 505 » Correct Development of Embedded Systems |
144
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
106
Voted
SIGMETRICS
2006
ACM
15 years 9 months ago
2006
ACM
Modern architecture research relies heavily on applicationlevel detailed pipeline simulation. A time consuming part of building a simulator is correctly emulating the operating sy...
134
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
118
Voted
USS
2008
15 years 5 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...
117
Voted
CISS
2008
IEEE
2008
IEEE
A lower-bound on the number of rankings required in recommender systems using collaborativ filtering
15 years 10 months ago
— We consider the situation where users rank items from a given set, and each user ranks only a (small) subset of all items. We assume that users can be classified into C classe...