Pertti Kellomäki

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