828 search results - page 4 / 166 » Modularity for Timed and Hybrid Systems |
HAIS
2008
Springer
13 years 9 months ago
2008
Springer
WEA
2004
Springer
14 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...
CRYPTO
1993
Springer
14 years 22 days 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...
AAAI
2012
11 years 11 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
14 years 5 days ago
1995
Springer