828 search results - page 4 / 166 » Modularity for Timed and Hybrid Systems |
HAIS
2008
Springer
14 years 10 months ago
2008
Springer
WEA
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...
77
Voted
CRYPTO
1993
Springer
15 years 1 months ago
1993
Springer
Three modular reduction algorithms for large integers are compared with respect to their performance in portable software: the classical algorithm, Barrett’s algorithm and Montgo...
106
click to vote
AAAI
2012
12 years 12 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
HYBRID
1995
Springer
15 years 1 months ago
1995
Springer