![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
ACM Transactions in Embedded Computing Systems, Volume 4
Volume 4, Number 1, February 2005
- Frank Mueller, Per Stenström:
Introduction to the special issue. 1-2 - Arvind Krishnaswamy, Rajiv Gupta
:
Dynamic coalescing for 16-bit instructions. 3-37 - Marc L. Corliss, E. Christopher Lewis, Amir Roth:
The implementation and evaluation of dynamic code decompression using DISE. 38-72 - Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner:
Memory safety without garbage collection for embedded applications. 73-111 - Paul Pop
, Petru Eles, Zebo Peng:
Schedulability-driven frame packing for multicluster distributed embedded systems. 112-140 - Vishnu Swaminathan, Krishnendu Chakrabarty
:
Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems. 141-167 - Lih-Yih Chiou, Swarup Bhunia
, Kaushik Roy:
Synthesis of application-specific highly efficient multi-mode cores for embedded systems. 168-188 - Joseph Zambreno, Alok N. Choudhary, Rahul Simha, Bhagirath Narahari, Nasir D. Memon
:
SAFE-OPS: An approach to embedded software security. 189-210 - Woo-Cheol Kwon, Taewhan Kim:
Optimal voltage allocation techniques for dynamically variable voltage processors. 211-230 - Tat Kee Tan, Anand Raghunathan
, Niraj K. Jha:
Energy macromodeling of embedded operating systems. 231-254
Volume 4, Number 2, May 2005
- Sandeep K. Shukla
, Jean-Pierre Talpin:
Guest editorial: Special issue on models and methodologies for co-design of embedded systems. 225-227 - David Cachera, Katell Morin-Allory:
Verification of safety properties for parameterized regular systems. 228-266 - Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde:
PLTL-partitioned model checking for reactive systems under fairness assumptions. 267-301 - William B. Gardner:
Converging CSP specifications and C++ programming via selective formalism. 302-330 - Roberto Ziller, Klaus Schneider:
Combining supervisor synthesis and model checking. 331-362 - Chuanjun Zhang, Frank Vahid, Walid A. Najjar
:
A highly configurable cache for low energy embedded systems. 363-387 - Ismail Kadayif, Mahmut T. Kandemir:
Data space-oriented tiling for enhancing locality. 388-414 - Radu Muresan, Catherine H. Gebotys:
Instantaneous current modeling in a complex VLIW processor core. 415-451 - Peter Petrov, Alex Orailoglu:
A reprogrammable customization framework for efficient branch resolution in embedded processors. 452-468
Volume 4, Number 3, August 2005
- Alan Burns, Alberto L. Sangiovanni-Vincentelli:
Editorial. 469-471 - Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
:
An overview of embedded system design education at berkeley. 472-499 - Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu
, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste
, Donald E. Thomas, Chenxi Wang:
Undergraduate embedded system education at Carnegie Mellon. 500-528 - Ingrid Verbauwhede
, Patrick Schaumont
:
Skiing the embedded systems mountain. 529-548 - Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale
, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt:
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. 549-568 - Rudolph E. Seviora:
A curriculum for embedded system engineering. 569-586 - Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida
, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic
, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls
, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente
, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren
, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse
, Wang Yi:
Guidelines for a graduate curriculum on embedded software and systems. 587-611 - Tai-Yi Huang, Chung-Ta King, Youn-Long Steve Lin, Yin-Tsung Hwang:
The embedded software consortium of taiwan. 612-632 - Martin Edin Grimheden, Martin Törngren
:
What is embedded systems and how should it be taught?---results from a didactic analysis. 633-651 - Wei Zhang, Mahmut T. Kandemir, Mustafa Karaköy, Guangyu Chen:
Reducing data cache leakage energy using a compiler-based approach. 652-678 - Hyung Seok Kim, Tarek F. Abdelzaher, Wook Hyun Kwon:
Dynamic delay-constrained minimum-energy dissemination in wireless sensor networks. 679-706
Volume 4, Number 4, November 2005
- Rajeev Alur, Insup Lee:
Preface. 707 - Olivier Tardieu, Robert de Simone:
Loops in esterel. 708-750 - John Regehr, Alastair Reid
, Kirk Webb:
Eliminating stack overflow by abstract interpretation. 751-778 - Stavros Tripakis
, Christos Sofronis, Paul Caspi, Adrian Curic:
Translating discrete-time simulink to lustre. 779-818 - Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam:
Compiler-directed high-level energy estimation and optimization. 819-850 - Jie S. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin:
Analyzing data reuse for cache reconfiguration. 851-876 - Tian He, Chengdu Huang, Brian M. Blum, John A. Stankovic, Tarek F. Abdelzaher:
Range-free localization and its impact on large scale sensor networks. 877-906 - Bruno Gaujal, Nicolas Navet, Cormac Walsh:
Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use. 907-933 - Sandro Bartolini, Cosimo Antonio Prete:
Optimizing instruction cache performance of embedded systems. 934-965
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.