Stop the war!
Остановите войну!
for scientists:
default search action
Design Automation for Embedded Systems, Volume 12
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.