The SCEAS System
Navigation Menu

Journals in DBLP

ACM Trans. Embedded Comput. Syst.
2005, volume: 4, number: 2

  1. Sandeep K. Shukla, Jean-Pierre Talpin
    Guest editorial: Special issue on models and methodologies for co-design of embedded systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:225-227 [Journal]
  2. David Cachera, Katell Morin-Allory
    Verification of safety properties for parameterized regular systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:228-266 [Journal]
  3. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
    PLTL-partitioned model checking for reactive systems under fairness assumptions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:267-301 [Journal]
  4. William B. Gardner
    Converging CSP specifications and C++ programming via selective formalism. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:302-330 [Journal]
  5. Roberto Ziller, Klaus Schneider
    Combining supervisor synthesis and model checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:331-362 [Journal]
  6. Chuanjun Zhang, Frank Vahid, Walid A. Najjar
    A highly configurable cache for low energy embedded systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:363-387 [Journal]
  7. Ismail Kadayif, Mahmut T. Kandemir
    Data space-oriented tiling for enhancing locality. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:388-414 [Journal]
  8. Radu Muresan, Catherine H. Gebotys
    Instantaneous current modeling in a complex VLIW processor core. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:415-451 [Journal]
  9. Peter Petrov, Alex Orailoglu
    A reprogrammable customization framework for efficient branch resolution in embedded processors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:452-468 [Journal]
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