Pertti Kellomäki

According to our database, Pertti Kellomäki authored at least 15 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Reconfigurable video decoder with transform acceleration.

Lassi Nurmi, Perttu Salmela, Pertti Kellomäki, Pekka Jääskeläinen, Jarmo Takala

Proceedings of the IEEE Workshop on Signal Processing Systems, 2009

Reducing processor energy consumption by compiler optimization.

Vladimír Guzma, Teemu Pitkänen, Pertti Kellomäki, Jarmo Takala

Proceedings of the IEEE Workshop on Signal Processing Systems, 2009

2008

Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic.

Vladimír Guzma, Pekka Jääskeläinen, Pertti Kellomäki, Jarmo Takala

Proceedings of the Embedded Computer Systems: Architectures, 2008

Trade-offs in mapping high-level dataflow graphs onto ASIPs.

Vladimír Guzma, Shuvra S. Bhattacharyya, Pertti Kellomäki, Jarmo Takala

Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2008

Reducing Context Switch Overhead with Compiler-Assisted Threading.

Pekka Jääskeläinen, Pertti Kellomäki, Jarmo Takala, Heikki Kultala, Mikael Lepistö

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2005

Invariants come from templates.

Joni Helin, Pertti Kellomäki

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

2002

Coordinating Aspects and Objects.

Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

Composing Distributed Systems from Reusable Aspects of Behavior.

Pertti Kellomäki

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

2001

A Structural Embedding of Ocsid in PVS.

Pertti Kellomäki

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Specifying Cash-Point with DisCo.

Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen

Formal Aspects Comput., 2000

Deriving Message Passing Protocols from Collective Behavior.

Pertti Kellomäki

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Design Templates for Collective Behavior.

Pertti Kellomäki, Tommi Mikkonen

Proceedings of the ECOOP 2000, 2000

1999

Archived Design Steps in Temporal Logic.

Pertti Kellomäki, Tommi Mikkonen

Proceedings of the FM'99 - Formal Methods, 1999

1998

Modeling Distributed State as an Abstract Object.

Pertti Kellomäki, Tommi Mikkonen

Proceedings of the Distributed and Parallel Embedded Systems, 1998

1997

Verification of Reactive Systems Using DisCo and PVS.

Pertti Kellomäki

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997