Sciweavers

970 search results - page 28 / 194
» A comprehensive analysis of hyper-heuristics
Sort
View
CSFW
2007
IEEE
14 years 3 months ago
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
Heiko Mantel, Henning Sudbrock
FROCOS
2007
Springer
14 years 3 months ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
14 years 2 months ago
Integrating software engineering and user-centred design for multimedia software developments
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
Gregor Engels, Stefan Sauer, Bettina Neu
WOSP
2000
ACM
14 years 1 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
HPCN
1998
Springer
14 years 1 months ago
Integration of a Compilation System and a Performance Tool: The HPF+ Approach
Abstract. The performance of HPF codes is in uenced by the characteristics of the parallel system and by the e ciency of the compilation system. Performance analysis has to take in...
Maria Calzarossa, Luisa Massari, Alessandro P. Mer...