Parameterized Complexity for the Skeptic ЧДв Page 1 Parameterized Complexity for the Skeptic
Rod Downey Ѓ School of Mathematical and Computing Sciences Victoria University PO Box 600 …

Parallel programming requires the definition of shared-memory semantics by means of a
consistency model, which affects how the parallel hardware is designed. Therefore, verifying …

Chip multiprocessing is key to Mobile and high-end Embedded Computing. It requires
sophisticated multilevel hierarchies where private and shared caches coexist. It relies on …

The complexity of modern hardware design has created the need for higher levels of
abstraction, where system modeling is used to integrate modules into complex System-on …

To overcome the burden of high-latency operations, system designers often resort to relaxed
specifications, which allow multiple outstanding operations to be concluded out of their …

Microarchitectures often relax order constraints to meet performance requirements.
However, the design of a module handling out-of-order behaviors is error prone, since order …

A crescente complexidade das descriçoes de hardware em alto nıvel tem motivado a
criaçao de metodologias de desenvolvimento por vários anos, sendo o mais recente nıvel …

Este memorial descreve e analisa as atividades mais relevantes da carreira do professor,
compreendendo toda a sua trajetória acadêmica, desde o primeiro semestre de 1993 …