Pertti Kellomäki

	2009
13		Vladimír Guzma, Teemu Pitkänen, Pertti Kellomäki, Jarmo Takala: Reducing processor energy consumption by compiler optimization. SiPS 2009: 063-068
12		Lassi Nurmi, Perttu Salmela, Pertti Kellomäki, Pekka Jääskeläinen, Jarmo Takala: Reconfigurable video decoder with transform acceleration. SiPS 2009: 081-086
	2008
11		Pekka Jääskeläinen, Pertti Kellomäki, Jarmo Takala, Heikki Kultala, Mikael Lepistö: Reducing Context Switch Overhead with Compiler-Assisted Threading. EUC (2) 2008: 461-466
10		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: 23-32
	2003
9		Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen: Coordinating Aspects and Objects. Electr. Notes Theor. Comput. Sci. 68(3): 248-267 (2003)
	2002
8		Pertti Kellomäki: Composing Distributed Systems from Reusable Aspects of Behavior. ICDCS Workshops 2002: 481-486
	2001
7		Pertti Kellomäki: A Structural Embedding of Ocsid in PVS. TPHOLs 2001: 281-296
	2000
6		Pertti Kellomäki: Deriving Message Passing Protocols from Collective Behavior. DIPES 2000: 183-192
5		Pertti Kellomäki, Tommi Mikkonen: Design Templates for Collective Behavior. ECOOP 2000: 277-295
4		Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen: Specifying Cash-Point with DisCo. Formal Asp. Comput. 12(4): 231-232 (2000)
	1999
3		Pertti Kellomäki, Tommi Mikkonen: Archived Design Steps in Temporal Logic. World Congress on Formal Methods 1999: 1858
	1998
2		Pertti Kellomäki, Tommi Mikkonen: Modeling Distributed State as an Abstract Object. DIPES 1998: 223-230
	1997
1		Pertti Kellomäki: Verification of Reactive Systems Using DisCo and PVS. FME 1997: 589-604

Coauthor Index

1	Timo Aaltonen	[4] [9]
2	Vladimír Guzma	[10] [13]
3	Joni Helin	[9]
4	Pekka Jääskeläinen	[10] [11] [12]
5	Mika Katara	[9]
6	Heikki Kultala	[11]
7	Mikael Lepistö	[11]
8	Tommi Mikkonen	[2] [3] [5] [9]
9	Lassi Nurmi	[12]
10	Risto Pitkänen	[4]
11	Teemu Pitkänen	[13]
12	Perttu Salmela	[12]
13	Jarmo Takala	[10] [11] [12] [13]

Colors in the list of coauthors

Last update Mon Feb 13 22:11:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page