The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pertti Kellomäki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002