6939 search results - page 1311 / 1388 » Algorithm Engineering for Parallel Computation |
115
click to vote
ISPD
2003
ACM
15 years 7 months ago
2003
ACM
Traditional multilevel partitioning approaches have shown good performance with respect to cutsize, but offer no guarantees with respect to system performance. Timing-driven part...
136
Voted
KCAP
2003
ACM
15 years 7 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
121
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
104
click to vote
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
113
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...