674 search results - page 51 / 135 » Toward Self-Stabilizing Operating Systems |
143
click to vote
PARA
2004
Springer
15 years 8 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
116
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 7 months ago
2009
ACM
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...
155
click to vote
DOLAP
2010
ACM
15 years 1 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
119
click to vote
LREC
2010
15 years 4 months ago
2010
Recent developments on hybrid systems that combine rule-based machine translation (RBMT) systems with statistical machine translation (SMT) generally neglect the fact that RBMT sy...
109
click to vote
ICCAD
2001
IEEE
16 years 6 hour ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...