Sciweavers

914 search results - page 51 / 183
» Analysis of Heuristic Synergies
Sort
View
ECRTS
2006
IEEE
15 years 5 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
JCDL
2003
ACM
99views Education» more  JCDL 2003»
15 years 5 months ago
Structural Analysis of Musical Signals for Indexing and Thumbnailing
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...
Wei Chai, Barry Vercoe
SNPD
2007
15 years 1 months ago
Parallel analysis of polymorphic viral code using automated deduction system
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
Ruo Ando
SLS
2007
Springer
111views Algorithms» more  SLS 2007»
15 years 6 months ago
Mixed Models for the Analysis of Local Search Components
We consider a possible scenario of experimental analysis on heuristics for optimization: identifying the contribution of local search components when algorithms are evaluated on th...
Jørgen Bang-Jensen, Marco Chiarandini, Yuri...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 3 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall