External Links

    Journal: Intelligenza Artificiale

    Volume 2, Issue 3

    13 -- 20Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti. Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip
    21 -- 28Wolfgang Faber, Nicola Leone, Francesco Ricca. Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks
    29 -- 36Nicola Policella, Riccardo Rasconi. Designing a Testset Generator for Reactive Scheduling
    37 -- 44Marco Benedetti. Hybrid Evaluation Procedures for QBF
    45 -- 51Marco Alberti, Federico Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system
    runs on