Pertti Kellomäki

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

Publications

Lassi Nurmi, Perttu Salmela, Pertti Kellomäki, Pekka Jääskeläinen, Jarmo Takala
Reconfigurable video decoder with transform acceleration. SiPS (2009)
Vladimír Guzma, Teemu Pitkänen, Pertti Kellomäki, Jarmo Takala
Reducing processor energy consumption by compiler optimization. SiPS (2009)
Pekka Jääskeläinen, Pertti Kellomäki, Jarmo Takala, Heikki Kultala, Mikael Lepistö
Reducing Context Switch Overhead with Compiler-Assisted Threading. EUC (2) (2008)
Vladimír Guzma, Shuvra S. Bhattacharyya, Pertti Kellomäki, Jarmo Takala
Trade-offs in mapping high-level dataflow graphs onto ASIPs. SoC (2008)
Vladimír Guzma, Pekka Jääskeläinen, Pertti Kellomäki, Jarmo Takala
Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic. SAMOS (2008)
Joni Helin, Pertti Kellomäki
Invariants come from templates. FMICS (2005)
Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen
Coordinating Aspects and Objects. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
Pertti Kellomäki
Composing Distributed Systems from Reusable Aspects of Behavior. ICDCS Workshops (2002)
Pertti Kellomäki
A Structural Embedding of Ocsid in PVS. TPHOLs (2001)
Pertti Kellomäki, Tommi Mikkonen
Design Templates for Collective Behavior. ECOOP (2000)
Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen
Specifying Cash-Point with DisCo. Formal Aspects Comput. 12 (4) (2000)
Pertti Kellomäki
Deriving Message Passing Protocols from Collective Behavior. DIPES (2000)
Pertti Kellomäki, Tommi Mikkonen
Archived Design Steps in Temporal Logic. World Congress on Formal Methods (1999)
Pertti Kellomäki, Tommi Mikkonen
Modeling Distributed State as an Abstract Object. DIPES (1998)
Pertti Kellomäki
Verification of Reactive Systems Using DisCo and PVS. FME (1997)