Search the dblp DataBase

Publications of Author

1. Pertti Kellomäki, Tommi Mikkonen
   Design Templates for Collective Behavior. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2000, pp:277-295 [Conf]
   
2. Pertti Kellomäki
   Verification of Reactive Systems Using DisCo and PVS. [Citation Graph (0, 0)][DBLP]
   FME, 1997, pp:589-604 [Conf]
   
3. Pertti Kellomäki, Tommi Mikkonen
   Archived Design Steps in Temporal Logic. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1858- [Conf]
   
4. Pertti Kellomäki
   Composing Distributed Systems from Reusable Aspects of Behavior. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshops, 2002, pp:481-486 [Conf]
   
5. Pertti Kellomäki
   Deriving Message Passing Protocols from Collective Behavior. [Citation Graph (0, 0)][DBLP]
   DIPES, 2000, pp:183-192 [Conf]
   
6. Pertti Kellomäki, Tommi Mikkonen
   Modeling Distributed State as an Abstract Object. [Citation Graph (0, 0)][DBLP]
   DIPES, 1998, pp:223-230 [Conf]
   
7. Pertti Kellomäki
   A Structural Embedding of Ocsid in PVS. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2001, pp:281-296 [Conf]
   
8. Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen
   Coordinating Aspects and Objects. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
   
9. Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen
   Specifying Cash-Point with DisCo. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:4, pp:231-232 [Journal]
   
10. 
    Reducing Context Switch Overhead with Compiler-Assisted Threading. [Citation Graph (, )][DBLP]
    
    
11. 
    Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic. [Citation Graph (, )][DBLP]
    
    
12. 
    Reducing processor energy consumption by compiler optimization. [Citation Graph (, )][DBLP]
    
    
13. 
    Reconfigurable video decoder with transform acceleration. [Citation Graph (, )][DBLP]