Volume 12, Numbers 1-2, June 2008

• 
  Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch: SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system. 1-30
• 
  Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima: A time Petri net-based method for embedded hard real-time software synthesis. 31-62
• 
  Deepak Mathaikutty, Sandeep K. Shukla: Mining metadata for composability of IPs from SystemC IP library. 63-94
• 
  James C. Hoe, Jens Palsberg: MEMOCODE 2006 guest editors' introduction. 95
• 
  Tevfik Bultan, Constance L. Heitmeyer: Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. 97-137
• 
  Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno: Specifying and proving properties of timed I/O automata using Tempo. 139-170

Volume 12, Number 3, September 2008

• 
  Tilman Wolf, Sri Parameswaran: Guest editorial for special issue on embedded system security. 171-172
• 
  Sri Parameswaran, Tilman Wolf: Embedded systems security - an overview. 173-183
• 
  Catherine H. Gebotys, Brian A. White: EM alignment using phase for secure embedded systems. 185-206
• 
  Karthik Baddam, Mark Zwolinski: Path switching: a technique to tolerate dual rail routing imbalances. 207-220
• 
  Georgios Keramidas, Alexandros Antonopoulos, Dimitrios N. Serpanos, Stefanos Kaxiras: Non deterministic caches: a simple and effective defense against side channel attacks. 221-230
• 
  Junfeng Fan, Kazuo Sakiyama, Ingrid Verbauwhede: Elliptic curve cryptography on embedded multicore systems. 231-242
• 
  Jesse Sathre, Joseph Zambreno: Automated software attack recovery using rollback and huddle. 243-260

Volume 12, Number 4, December 2008

• 
  Yves Vanderperren, Wolfgang Mueller, Wim Dehaene: UML for electronic systems design: a comprehensive overview. 261-292
• 
  Ahmed Ben Atitallah, Patrice Kadionik, Nouri Masmoudi, Hervé Levi: FPGA implementation of a HW/SW platform for multimedia embedded systems. 293-311
• 
  Gul N. Khan, Usman Ahmed: CAD tool for hardware software co-synthesis of heterogeneous multiple processor embedded architectures. 313-343
• 
  Wu Jigang, Thambipillai Srikanthan, Tao Jiao: Algorithmic aspects for functional partitioning and scheduling in hardware/software co-design. 345-375
• 
  Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham, Jiajin Tu: Sequential equivalence checking between system level and RTL descriptions. 377-396

last updated on Sat May 25 06:05:02 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page